I'm reading A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity.
The graph of $f: A \rightarrow B$ is the subset of $A × B$ consisting of all ordered pairs $(a, b)$ with $f (a) = b$. If $A$ happens to be $B^n$ for some $n ∈ N$, then we say that $f$ is a function on $B$ and $n$ is the arity of $f$.
I don't understand the notation for the exponent of a set, I'm aware of what arity is, it's the number of arguments or operands the function takes. I'm just not so sure if I can assume that a set with an exponent such as in $B^n$ means that a function has two operands.
I know the question may be too naive and perhapes the answer is the one I suggested and it's right in front of my face, I'm just searching for a confirmation or the negation of it. Thanks.