(x=y)⇔((x,y)=(y,x))⇔({x,y}は一元集合である.).x と y が実数ならば, (x=y)⇔([x..y]は一元集合である.).

続きを読む