対象の集合は普通に集合ですよ

同値関係関係ないですよね