Identity element


Definition 1

ProofWiki

Definition 2

Wolfram MathWorld
THEOREM   

Zero is an identity element of rational number addition.

$$\forall x \in \mathbb{R} : 0 + x = x + 0 = x$$

Proof available

THEOREM   

One is an identity element of natural number multiplication.

Proof unavailable