順序対の定義

= {{a}, {a, b}}
とやる定義しかない気がしてきた。
= {a, {a, b}} で定義しても普段は困らないけど、たまに困る。謎。
思考には、二重になっていると{}を外したくなる、っていう癖があるんじゃないだろうか。