集合
詳細は「商集合」を参照 集合の類別の模式図
集合に類別を与えるとき、各類をその要素とする集合を考えることができる。 X / ∼ := { [ x ] ∣ x ∈ X } , where [ x ] := { y ∈ X ∣ y ∼ x } . {\displaystyle X/{\sim }{}:=\{[x]\mid x\in X\},{\text{ where }}[x]:=\{y\in X\mid y\sim x\}.}