Symmetric Property — Definition, Examples

TL;DR

The symmetric property of equality says that if one quantity equals another, then the second equals the first — if a=b, then b=a. This article covers the formal definition, the congruence form, three worked examples at Quick/Standard/Stretch tiers, and where the symmetric property breaks (notably for inequalities).

A Rule So Obvious It Feels Like It Shouldn't Need a Name

If five is three plus two, then three plus two is five. The reverse is so natural it feels like cheating to write it down. But every formal proof that walks an equation from one form to another uses this move — and once it has a name, the proof can cite it.

The symmetric property is one of three basic equality properties — alongside the reflexive (a=a) and the transitive (if a=b and b=c, then a=c) — that together let algebra do its work. Take any one of the three away and the chain of reasoning that turns given into therefore stops working.

What the Symmetric Property Says

Symmetric property of equality. For any real numbers (or algebraic expressions) a and b:

a=b; ⟺ b=a.

The equality sign is symmetric — the order of the two sides does not matter. Whatever appears on the left can be moved to the right; whatever appears on the right can be moved to the left, with no change in meaning.

The property generalises beyond plain numbers:

• Equality of expressions. x+3=10; ⟺ 10=x+3.
• Equality of sets. A=B; ⟺ B=A.
• Equality of functions. f(x)=g(x); ⟺ g(x)=f(x) for all x in the common domain.
• Equality of vectors and matrices. u=v; ⟺ v=u.

Quick facts.

• Statement: a=b; ⟺ b=a.
• Type: property of the relation "equals" (=).
• Companion properties: reflexive (a=a), transitive (if a=b and b=c, then a=c).
• Together (reflexive + symmetric + transitive): these three define what mathematicians call an equivalence relation.
• Does NOT apply to: inequalities (like <, >, ≤, ≥). Swapping sides flips the inequality sign.
• Grade introduced: CBSE Class 7–8 (properties of equality); CCSS-M 6.EE.B.5 (understand solving an equation as finding which values make the equation true); NCERT Class 7 Chapter 4 — Simple Equations.

The Symmetric Property in Congruence

The symmetric property is not just about equality of numbers. The same idea applies to congruence of geometric figures:

delay ABC≅DEF; ⟺ DEF≅ABC.

If one triangle is congruent to another, the second is congruent to the first. The congruence relation ≅, like equality, is symmetric.

The same holds for similarity, parallelism, and any equivalence relation: the relation is symmetric by definition.

Worked Examples of Symmetric Property

Quick. Apply the symmetric property to rewrite 7=x−4.

The final answer is x−4=7.

Standard (Wrong Path First — A Solve You Can Trust After Avoiding the Slip). Apply the symmetric property to rewrite x+5<12.

The original statement was x+5<12. The correct rewritten is 12>x+5.

Stretch. Use the symmetric property within a multi-step proof. Given 2x+5=11 and the goal of stating x=3 as a symmetric-property application, write the proof.

1. Start with 2x+5=11.
2. Subtract 5 from both sides: 2x=6.
3. Divide both sides by 2: x=3.
4. Rewrite as 3=x.

Where the Symmetric Property Matters — The Quiet Reach

The symmetric property feels too obvious to be useful. But in a formal proof, the property must be cited by name.

• Geometric proofs. Two-column proofs in high-school geometry list the symmetric property as a justification step. "∠A=∠B, therefore ∠B=∠A (symmetric property)."
• Algebraic substitution. f(x)=x² + 3. To evaluate f at x=2, write f(2)=4+3=7, then by symmetric property 7=f(2).
• Equivalence-relation proofs. A relation R is an equivalence relation if it is reflexive, symmetric, and transitive. Proving symmetry requires showing aRb ⟹ bRa.

Symmetric Property: Mistakes Students Make Most Often

1. Applying the symmetric property to inequalities.

Don't do this: Swap sides of an inequality without flipping the sign.

2. Confusing the symmetric property with the commutative property.

Don't do this: Conflate the two.

3. Forgetting the property exists when proofs require it.

4. Applying the property where the relation isn't an equivalence.

Don't do this: Assume every relation is symmetric.

The Mathematicians Who Shaped Equality

Euclid (c. 300 BCE, Alexandria) stated five "Common Notions" at the start of his Elements.

Giuseppe Peano (1858–1932, Italy) formalised the properties of equality.

Alfred Tarski (1901–1983, Poland/USA) developed the modern theory of equivalence relations.

Conclusion

• The symmetric property of equality states a=b ⟺ b=a.
• The property extends to congruence, similarity, parallelism, and any equivalence relation.
• The single most common mistake is applying the property to inequalities — you must swap and flip the inequality sign.