Definition:Equivalence Relation/Also denoted as
Jump to navigation
Jump to search
Definition
When discussing equivalence relations, various notations are used for $\tuple {x, y} \in \RR$.
Examples are:
- $x \mathrel \RR y$
- $x \equiv \map y \RR$
- $x \equiv y \pmod \RR$
and so on.
Specialised equivalence relations generally have their own symbols, which can be defined as they are needed.
Such symbols include:
- $\cong$, $\equiv$, $\sim$, $\simeq$, $\approx$
Sources
- 1965: J.A. Green: Sets and Groups ... (previous) ... (next): $\S 2.2$. Equivalence relations: Definition $4$ (footnote)