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