0.999...:N→Q を 0.999...(n):=1-(1/10)^n で定義する。
パラメータの表記を省略して 0.999... と書くこととする。

頑なに定義を示さない安達くんに代わって彼の 0.999... を定義してあげました。