順序対

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