>>612
いいよー
というのはなんの定義でも無いと思うのですが
つまり集合{0.999...9(9がn個)=1-1/10^n | n∈N}が0.999...の定義
ということでしょうか？