Unary Operation/Examples/All Mappings are Unary

Example of Unary Operation

Let $\ds \prod_{i \mathop = 1}^n S_i$ be the cartesian product of sets $S_1$ to $S_n$.

Let $f: \ds \prod_{i \mathop = 1}^n S_i \to T$ be a mapping from $\prod_{i \mathop = 1}^n S_i$ to $T$.

Thus:

$f \subseteq \paren {S_1 \times S_2 \times \dotsb \times S_n} \times T$

Hence to consider $f$ as a unary operation, one would consider $\ds \prod_{i \mathop = 1}^n S_i$ as:

as opposed to:

A set theorist, to a certain level of approximation, considers a set to be an aggregation of any objects.

Hence a set of ordered $n$-tuples is a convenient way to regard the domain of $f$.

$\blacksquare$