Equivalence relation

An equivalence relation is a binary relation on a set that groups elements into categories^{[Note 1]} in which all members are considered "equivalent" under some criterion.

Definition

A relation $\text{[math]}$ on set $\text{[math]}$ is a equivalence relation if it satisfies the following properties:

Reflexivity: $\text{[math]}$ , $\text{[math]}$ .
Symmetry: $\text{[math]}$ such that $\text{[math]}$ , $\text{[math]}$ .
Transitivity: $\text{[math]}$ , if $\text{[math]}$ and $\text{[math]}$ , then $\text{[math]}$ .

When $\text{[math]}$ , " $\text{[math]}$ is said to be equivalent to $\text{[math]}$ " under the relation $\text{[math]}$ .

Equivalence classes

Given $\text{[math]}$ , the equivalence class of $\text{[math]}$ , denoted

$\text{[math]}$

is the set of elements that are equivalent to $\text{[math]}$ .

Notes

↑ Not to be confused with category in category theory.

Terminology

en	fr	de	zh		ja
equivalence relation	relation d'équivalence	Äquivalenzrelation	等价关系	等價關係	同値関係
equivalence class	classe d'équivalence	Äquivalenzklasse	等价类	等價類	同値類
equivalence	équivalence	Äquivalenz	等价	等價	同値
reflexive	réflexif	reflexiv	自反的	自反的	反射的
symmetric	symétrique	symmetrisch	对称的	對稱的	対称的
transitive	transitif	transitiv	传递的	傳遞的	推移的

[1] Not to be confused with category in category theory.

[Note 1]

Definition

Equivalence classes

Notes

See also

Terminology