>>3
同値関係によって定められる部分集合が同値類や