ついに、
１＞０．９９９９…
の数学を構築しようと言うんだねｗ　前向きでいいぞー。
条件は「順序集合」であることと、普通の（？）Ｒへの普通の写像ができていることか…。

いや、ホント前向きでいいっす。これなら＝派も応援するかも。