a
同値関係
同値関係による商
b
有理数
循環
\(\mathbb{W}_0\)(ss,s) … \(\leftrightharpoons\)exc. … \(x \leftrightharpoons y = \{ \langle x , y \rangle , \langle y , x \rangle \}\)
exc:0 … \(x \leftrightharpoons y \in \{ x , y \} \stackrel{\rm IS}\to \{ x , y \}\) \(\blacktriangleleft\)
3個以上の巡回も