Category:Definitions/Quotient Sets

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Quotient Sets.
Related results can be found in Category:Quotient Sets.


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

For any $x \in S$, let $\eqclass x \RR$ be the $\RR$-equivalence class of $x$.


The quotient set of $S$ induced by $\RR$ is the set $S / \RR$ of $\RR$-classes of $\RR$:

$S / \RR := \set {\eqclass x \RR: x \in S}$

Subcategories

This category has the following 3 subcategories, out of 3 total.

Pages in category "Definitions/Quotient Sets"

This category contains only the following page.