It is, because you must have a base and a power. You can think of binary operations as a predicate, or a function: a + b = sum(a,b). Similarly, exponentiation would have to look like this: x^y = power(x,y). A binary operation is like a function with two arguments. Make sense?