In this section, we will outline eight of the most basic
axioms of equality.

####
The Reflexive Axiom

The first axiom is called the reflexive axiom or the reflexive property. It
states that any quantity is equal to itself. This axiom governs real numbers,
but can be interpreted for geometry. Any figure with a measure of some sort is
also equal to itself. In other words, segments, angles, and polygons are always
equal to themselves. You might think, what else would a figure be equal to if
not itself? This is definitely one of the most obvious axioms there is, but
it's important nonetheless. Geometric
proofs, as well as proofs of all
kinds, are so formal that no step goes unwritten. Thus, if perhaps two
triangles share a side and you wish to prove those two triangles congruent using
the SSS method, it is necessary to cite the reflexive property of segments to
conclude that the shared side is equal in both triangles.

####
The Transitive Axiom

PARGRAPH
The second of the basic axioms is the transitive axiom, or transitive
property. It states that if two quantities are both equal to a third quantity,
then they are equal to each other. This holds true in geometry when dealing
with segments, angles, and polygons as well. It is an important way to show
equality.

####
The Substitution Axiom

The third major axiom is the substitution axiom. It states that if two
quantities are equal, then one can be replaced by the other in any expression,
and the result won't be changed. It seems natural enough, but is necessary to
form the foundation of higher math.

####
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.

####
The Addition, Subtraction, Multiplication, and Division Axioms

The last four major axioms of equality have to do with operations between equal
quantities.

- The addition axiom states that when two equal quantities are added to
two more equal quantities, their sums are equal. Thus, if
*a* = *b*
and
*y* = *z*
, then
*a* + *y* = *b* + *z*
.
- The subtraction axiom states that when two equal quantities are
subtracted from two other equal quantities, their differences are equal.
- The multiplication axiom states that when two equal quantities are
multiplied with two other equal quantities, their products are equal.
- The division axioms states axiom states that when two equal quantities
are divided from two other equal quantities, their resultants are equal.

All four of these operations preserve equality.