>>282
元が１つしかないのだから、「任意の相異なる２元について〜」という条件は自動的に満たされる。
反例となるx, y(x≠y)が存在しないから。