順序対の定義

これ多くの人が引っかかるんだな。
http://www.tom.sfc.keio.ac.jp/~sakai/d/?date=20031102#p03
大学の先生にもいたのだから当たり前か。
http://d.hatena.ne.jp/nuc/searchdiary?word=%2a%5b%bd%e7%bd%f8%c2%d0%5d