AXIOMS OF

EQUALITY
An Axiom is a mathematical
statement that is assumed
to be true.
AXIOMS OF EQUALITY
The Reflexive Axiom
The Transitive Axiom
Symmetric Axiom
The Partition Axiom
Additive Axiom
Multiplicative Axiom
The Reflexive Axiom

A number is equal to itelf. (e.g a = a).

This is the first axiom of equality.
The Transitive Axiom

If a = b and b = c then a = c. This is the third

axiom of equality. This is directly related
Euclid's Common Notion One: "Things equal
to the same thing are equal to each other."
Symmetric Axiom

Numbers are symmetric around the equals

sign. If a = b then b = a. This is the second
axiom of equality.
The Partition Axiom

The fourth axiom is often called the partition

axiom. It states that a quantity is equal to the
sum of its parts. Likewise, in geometry, the
measure of a segment or an angle is equal to
the measures of its parts.
Additive Axiom

If a = b and c = d then a + c = b + d. If
two quantities are equal and an equal
amount is added to each, they are still
equal.
Multiplicative Axiom

If a = b then ac = bc. Since multiplication is

just repeated addition, the multiplicative
axiom follows from the additive axiom. It is
sometimes called "the multiplication property
of equality."