For purposes of capturing valid arguments concerning relations, the more important point is that functions need not be unary. For example, arithmetic division can be represented as a function from ordered pairs of numbers onto quotients: \(Q(x, y) = \frac{x}{y}\). Mappings can also be conditional. Consider the function that maps every even integer onto itself, and every odd integer onto its successor: \(C(x) = x\) if \(x\) is even, and \(x + 1\) otherwise; \(C(1) = 2\), \(C(2) = 2\), \(C(3) = 4\