20160111

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