@kururu_goedel: @MarriageTheorem そういうのを考えてみたらどうだろうかな、くらいです。アロンシャイン直線だと連続性がないので、その（全順序集合としての）完備化を使います。2011-04-26 23:42:13 via Seesmic Desktop to @MarriageTheorem @kururu_go…