完全代表系
from
同値類
$ S
の
部分集合
$ R
のこと
$ R
商集合
は
$ S/\sim
の各元の
代表元
を、ちょうど一つずつ含む
常に存在するらしい