定義ないのか。わかりました、ありがとう。
しかしひねくれ者だから、いちゃもんつけると、
二進法とかあるわけだから、十一進法にして
０、１、２、３、４、５、６、７、８、９、うんことすると、
0.9dot<0.うんこdot<1とかはなんねのかな？
同相とかで問題なし？