# Reflexive Property of Equality — Definition and Examples

## TL;DR
The reflexive property of equality says every quantity equals itself — $a = a$ for every $a$. This article covers the definition, three worked examples (algebra, geometry, relations), the most common slips, and a full side-by-side comparison with the other properties of equality (symmetric, transitive, addition, subtraction, multiplication, division, substitution).

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

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

### **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
1. Name the property: "If $x = 7$, then $7 = x$."
2. Complete the proof step: $\angle B \cong ;? ;$ (by the Reflexive Property).
3. Is the relation "shares a birthday with" reflexive on the set of all people? Justify in one line.