で与えられる同値関係で割ったものである、ということもできる。