>>935
一つの同値類を作る、ということだよ。