# Identity element

## Definition 2

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