順序対

http://d.hatena.ne.jp/nuc/searchdiary?word=%2a%5b%bd%e7%bd%f8%c2%d0%5d で昔、何回か話題にしていた順序対の定義だけれども、「超準解析と物理学」のなかでは {a,{a,b}} となっていた。
ので、記憶違いではなかったようだけれども、この定義は撲滅する方向でいきましょう。