Definition:Trivial Equivalence Relation

From ProofWiki
Jump to navigation Jump to search

Definition

Let $S$ be a set.

Let $\RR$ be an equivalence relation on $S$.


Then $\RR$ is a trivial equivalence relation if and only if $\RR$ is either:

the trivial relation $S \times S$

or:

the diagonal relation $\Delta_S$ on $S$.


Also see


Sources