A Rule So Obvious It's Easy to Skip
Most algebra rules tell you what you can do to an equation. The reflexive property tells you something simpler — and weirder. It tells you that every quantity is equal to itself.
$5 = 5$. $x = x$. The triangle $\triangle ABC$ is congruent to $\triangle ABC$. Each of these is the reflexive property speaking. The reason it's worth a name — instead of being absorbed into "obvious" — is that geometric proofs lean on it heavily, and Grade 9 students who don't have the name on the tip of their tongue lose marks for skipping the step.
The Formal Statement
For any element $a$ in the set under discussion:
$$a = a.$$
The property has two cousin forms:
Reflexive property of congruence (geometry). Every figure is congruent to itself: $\overline{AB} \cong \overline{AB}$, $\triangle XYZ \cong \triangle XYZ$.
Reflexive property of relations (set theory). A relation $R$ on a set $S$ is reflexive if $aRa$ holds for every $a \in S$. Equality is reflexive; "is less than" is not (since $5 < 5$ is false).
Equality, congruence of figures, isomorphism of structures, "has the same birthday as" — all reflexive. "Is greater than," "is the parent of," "loves" — not reflexive.
The Reflexive Property in the Larger Equality Family
Equality has nine well-known properties. Reflexive is the first; the other eight take a quantity that's already equal to something and let you do things to it.
Property | Formal statement | Example |
|---|---|---|
Reflexive | $a = a$ | $7 = 7$; $\triangle ABC \cong \triangle ABC$ |
Symmetric | If $a = b$, then $b = a$ | If $x + 3 = 10$, then $10 = x + 3$ |
Transitive | If $a = b$ and $b = c$, then $a = c$ | If $x = y$ and $y = 5$, then $x = 5$ |
Substitution | If $a = b$, you may replace $a$ with $b$ anywhere | If $x = 4$, then $3x + 1$ equals $3(4) + 1$ |
Addition | If $a = b$, then $a + c = b + c$ | If $x = 7$, then $x + 5 = 12$ |
Subtraction | If $a = b$, then $a - c = b - c$ | If $x = 7$, then $x - 2 = 5$ |
Multiplication | If $a = b$, then $ac = bc$ | If $x = 7$, then $3x = 21$ |
Division | If $a = b$ and $c \neq 0$, then $a/c = b/c$ | If $x = 6$, then $x/2 = 3$ |
Distributive (a property of operations, used alongside equality) | $a(b + c) = ab + ac$ | $3(x + 2) = 3x + 6$ |
The reflexive property is the foundation. The others all start from a given equality (which itself relies on reflexive reasoning to even state) and produce a new equality. Together, the nine define the equivalence-and-operation rules every algebra and geometry proof leans on.
Three Worked Examples — Quick, Standard, Stretch
Quick. Use the reflexive property to complete: $14 + 9 = ?$
By the reflexive property, $14 + 9 = 14 + 9$. (The sum on each side is $23$, but the reflexive statement is true regardless of whether you've simplified yet.)
Final answer: $14 + 9 = 14 + 9$. Trivial as a calculation; non-trivial as a logical step in a proof.
Standard (Wrong Path First — Watch How This Goes Wrong)
In the diagram, $\overline{BD}$ is the shared side of triangles $\triangle ABD$ and $\triangle CBD$. Use the reflexive property in a congruence proof of $\triangle ABD \cong \triangle CBD$.
The wrong path. A student writes: "Since $\overline{BD}$ is on both triangles, the two triangles share it." That's an English sentence, not a step in a proof. The geometry teacher marks it incomplete.
A second attempt: "$\overline{BD}$ is the same line segment." Closer, but still narrative.
The rescue. State the property by name:
$\overline{BD} \cong \overline{BD}$ by the reflexive property of congruence.
Now it's a step the proof can build on. From here, if the student has $\overline{AB} \cong \overline{CB}$ (given) and $\overline{AD} \cong \overline{CD}$ (given), the SSS congruence postulate gives $\triangle ABD \cong \triangle CBD$.
Final answer: The reflexive step in the proof is "$\overline{BD} \cong \overline{BD}$ (Reflexive Property of Congruence)." Without naming the property, the proof has a hole.
Stretch. Show that the relation "has the same remainder when divided by 5" on the set of positive integers is reflexive.
A relation $R$ is reflexive if $aRa$ holds for every $a$. Here, $aRb$ means "$a$ and $b$ have the same remainder when divided by 5."
For any positive integer $a$, is $aRa$ true? Does $a$ have the same remainder when divided by 5 as $a$ itself? Of course — any number compared with itself gives the same remainder.
Final answer: Yes — the relation is reflexive. ($a$ shares its remainder with itself for every $a$.)
Note: showing reflexivity is the first of three checks in proving an equivalence relation. Symmetric and transitive would follow.
Why the Reflexive Property Matters
In an algebra textbook, $a = a$ looks like it does no work. In a proof, it does a lot.
Geometric proofs. Nearly every two-column proof involving a shared side or angle invokes the reflexive property — without it, you cannot conclude that the shared side of two triangles is "congruent to itself."
Equivalence relations. The reflexive property is the first of three axioms (reflexive, symmetric, transitive) that define an equivalence relation. Equivalence relations partition sets — the foundation of modular arithmetic, group theory, and topology.
Computer science. Reflexive relations underpin equality testing in databases (a row is equal to itself), the transitive-closure algorithms used in graph reachability, and the type-equality rules in compilers.
Algebra manipulation. Steps like "$3x + 5 = 3x + 5$ — therefore subtracting $3x$ from both sides gives $5 = 5$" rely on the reflexive property as the starting point.
Where Intuition Breaks on Reflexive Property
Mistake 1: Confusing reflexive with symmetric.
Where it slips in: A student is asked to name the property in "if $a = b$, then $b = a$" and answers "reflexive."
Don't do this: Equate "looks the same on both sides" with the reflexive property.
The correct way: Reflexive — $a = a$. One quantity equal to itself. Symmetric — $a = b \implies b = a$. The mirror of an existing equation. They sound similar; they describe different moves.
Mistake 2: Skipping the property name in geometric proofs.
Where it slips in: A student writes "$\overline{BD}$ is shared" instead of "$\overline{BD} \cong \overline{BD}$ (Reflexive Property)."
Don't do this: Treat the reflexive step as too obvious to write down.
The correct way: In every two-column proof, every line needs a justification. Even $a = a$ — especially $a = a$, because the geometry teacher is checking that the student knows the name of the property they're invoking. The Bhanzu Grade 9 trainer floor sees one mark per proof deducted whenever the property is invoked without being named.
Mistake 3: Applying reflexivity to non-reflexive relations.
Where it slips in: A student claims the relation "is greater than" is reflexive because "$5 > 5$ is... well, almost."
Don't do this: Stretch reflexivity to relations where it doesn't hold.
The correct way: A relation is reflexive only if $aRa$ holds for every $a$. $5 > 5$ is false, so "is greater than" is not reflexive. Common reflexive relations: $=$, $\leq$, $\geq$, $\cong$, "has the same colour as." Common non-reflexive: $<$, $>$, "is the parent of," "loves."
Conclusion
The reflexive property states $a = a$ — every quantity equals itself.
In geometry, the parallel form is $\overline{AB} \cong \overline{AB}$ and $\angle X \cong \angle X$.
Most geometric proofs involving a shared side or angle invoke the reflexive property; naming it earns the mark.
The reflexive property is one of nine properties of equality; together they govern every legal move in algebra.
Not every relation is reflexive — equality and congruence are; "less than" and "greater than" are not.
Quick Self-Check — Try These
Name the property: "If $x = 7$, then $7 = x$."
Complete the proof step: $\angle B \cong ;? ;$ (by the Reflexive Property).
Is the relation "shares a birthday with" reflexive on the set of all people? Justify in one line.
If you wrote reflexive on Problem 1, re-read the symmetric vs reflexive distinction above — these are exam-trap twins.
Want a live Bhanzu trainer to walk your child through the properties of equality and the Grade 9 proof unit? Book a free demo class — online globally.
Was this article helpful?
Your feedback helps us write better content