>>950
まぁ、そんな感じでいいと思う。

ちなみに、数学では君の発想でコーシー列というのがある。
(コーシー列は実数を定義する為の1つの方法。)

君の文の表現を変えると、
1は、コーシー列{0.9, 0.99, 0.999 ,,,,,,,,,,,,,}によって表される元ともいえる。

>0.999........(=1) はこの無限集合の極限であるが
>その要素では無い。

limの基本的な性質で、
a_n < aの場合 lim a_n ≦ a
となるしな。