Category:Equivalence Classes are Disjoint

From ProofWiki
Jump to navigation Jump to search

This category contains pages concerning Equivalence Classes are Disjoint:


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


Then all $\RR$-classes are pairwise disjoint:

$\tuple {x, y} \notin \RR \iff \eqclass x \RR \cap \eqclass y \RR = \O$

Pages in category "Equivalence Classes are Disjoint"

The following 3 pages are in this category, out of 3 total.