## Definition ## In a [[Z-algebra]], multiplication is a [[magma]], and thus $A$ has a square function ${(-)}^2: A \to A$ defined as $x^2 \coloneqq x \cdot x$ ## See also ## * [[quadratic function]] * [[Z-algebra]]