Definition:Square/Function/Definition 1

Definition
Let $\F$ denote one of the standard classes of numbers: $\N$, $\Z$, $\Q$, $\R$, $\C$.

Let $f: \F \to \F$ be the real function defined as:


 * $\forall x \in \F: \map f x = x \times x$

where $\times$ denotes multiplication.