Equivalence Properties of Equality — Definition & Examples

Equivalence Properties of Equality

The reflexive, symmetric, and transitive properties that are satisfied by the = symbol.

Reflexive Property	a = a
Symmetric Property	If a = b then b = a.
Transitive Property	If a = b and b = c then a = c.

Key Formula

\text{Reflexive: } a = a \qquad \text{Symmetric: } a = b \Rightarrow b = a \qquad \text{Transitive: } (a = b \text{ and } b = c) \Rightarrow a = c

Where:

$a$ = Any real number or expression
$b$ = Any real number or expression
$c$ = Any real number or expression

Example

Problem: Given that x + 3 = 10 and 10 = 2y + 4, identify which equivalence property of equality justifies each conclusion: (a) x + 3 = x + 3, (b) 10 = x + 3, and (c) x + 3 = 2y + 4.

Step 1: Justify the statement x + 3 = x + 3. Any quantity is equal to itself, so this uses the Reflexive Property.

x + 3 = x + 3 \quad \text{(Reflexive Property)}

Step 2: Justify the statement 10 = x + 3. We know x + 3 = 10, and swapping the two sides of an equation uses the Symmetric Property.

x + 3 = 10 \;\Rightarrow\; 10 = x + 3 \quad \text{(Symmetric Property)}

Step 3: Justify the statement x + 3 = 2y + 4. We have x + 3 = 10 and 10 = 2y + 4. Because both expressions equal the same middle value 10, the Transitive Property lets us link them directly.

(x + 3 = 10 \text{ and } 10 = 2y + 4) \;\Rightarrow\; x + 3 = 2y + 4 \quad \text{(Transitive Property)}

Answer: (a) Reflexive Property, (b) Symmetric Property, (c) Transitive Property.

Another Example

This example shows the properties applied to geometric segments in a two-column proof setting, rather than purely numeric or algebraic expressions.

Problem: In a geometry proof, you are told that segment AB = segment CD and segment CD = segment EF. Justify why segment AB = segment EF, and then explain why segment EF = segment AB.

Step 1: We are given AB = CD and CD = EF. Since both AB and EF equal the same segment length CD, apply the Transitive Property.

(AB = CD \text{ and } CD = EF) \;\Rightarrow\; AB = EF \quad \text{(Transitive Property)}

Step 2: Now reverse the equation AB = EF. Swapping the left and right sides uses the Symmetric Property.

AB = EF \;\Rightarrow\; EF = AB \quad \text{(Symmetric Property)}

Step 3: As a check, note that EF = EF is always true by the Reflexive Property. This confirms the equality relation is consistent throughout the proof.

EF = EF \quad \text{(Reflexive Property)}

Answer: AB = EF by the Transitive Property, and EF = AB by the Symmetric Property.

Frequently Asked Questions

Why are the equivalence properties of equality important?

These three properties are the logical foundation that allows you to rearrange and chain equations. Without the symmetric property, you couldn't swap sides of an equation. Without the transitive property, you couldn't substitute one expression for another equal expression. They underpin every algebraic manipulation and every formal proof involving equality.

What is the difference between the equivalence properties of equality and the properties of equality used to solve equations?

The equivalence properties (reflexive, symmetric, transitive) describe how the equals sign itself behaves as a relation. The solving properties — such as the addition, subtraction, multiplication, and division properties of equality — describe operations you can perform on both sides of an equation to isolate a variable. The equivalence properties tell you equality is logical and consistent; the solving properties tell you how to transform equations.

Is equality the only equivalence relation?

No. Any relation that satisfies all three properties — reflexive, symmetric, and transitive — is called an equivalence relation. For example, congruence of geometric figures and similarity of triangles are also equivalence relations. Equality of numbers is simply the most familiar one.

Equivalence Properties of Equality vs. Properties of Inequality (Order Properties)

	Equivalence Properties of Equality	Properties of Inequality (Order Properties)
Reflexive	a = a (always holds)	a ≤ a holds, but a < a does not
Symmetric	a = b ⇒ b = a	Not symmetric: a < b does NOT imply b < a
Transitive	a = b and b = c ⇒ a = c	a < b and b < c ⇒ a < c (transitive does hold)
Equivalence relation?	Yes — all three properties hold	No — symmetry fails, so < is not an equivalence relation

Why It Matters

You use these properties every time you write a two-column proof in geometry or justify algebraic steps in a formal setting. When you substitute one expression for another equal expression, you rely on the transitive property. When you flip an equation around, you rely on the symmetric property. Understanding these properties also prepares you for more advanced math, where equivalence relations appear in modular arithmetic, set theory, and abstract algebra.

Common Mistakes

Mistake: Assuming the symmetric property applies to inequalities — writing 'if a < b then b < a.'

Correction: Symmetry holds for equality but not for strict inequalities. If a < b, then b > a (the direction reverses). This distinction is exactly why inequality is not an equivalence relation.

Mistake: Confusing the transitive property with the substitution property.

Correction: The transitive property says if a = b and b = c, then a = c — it chains three values. The substitution property says if a = b, you can replace a with b in any expression. They are related but logically distinct; the transitive property is a specific case of chaining equalities, while substitution is a broader operation.

Related Terms

Reflexive Property of Equality — States that any value equals itself
Symmetric Property of Equality — Allows swapping sides of an equation
Transitive Property of Equality — Chains two equalities into a third
Trichotomy — States every pair is <, =, or >
Transitive Property of Inequalities — Transitive property applied to < and >
Equivalence Relation — General relation satisfying all three properties
Substitution Property — Replacing equals within expressions