Category:Definitions/Equivalence Relations

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Equivalence Relations.
Related results can be found in Category:Equivalence Relations.


Let $\mathcal R$ be a relation on a set $S$.

Let $\mathcal R$ be:

$(1): \quad$ reflexive
$(2): \quad$ symmetric
$(3): \quad$ transitive

Then $\mathcal R$ is an equivalence relation on $S$.