Equality

Equality is an equivalence relation for numbers. Natural number equality is derived from the Peano axioms. Natural number equality is used to construct integer equality. Integer equality is used to construct rational equality.

Essential Properties

Inequalities

Arithmetic Overview

Login to edit