それゆえ、に関する任意の同値類はに関する同値類の合併になる。