2005-07-05 順序対 B math 順序対 首都大学東京の岡本賢吾先生に聞いたところ ふつうに使われているのは{{x},{x,y}}の方だけで「Kuratowskiの順序対」と呼ばれているそうです。 ラムダ計算と公理系に関連があるそうな。