>>118
I=[0,1)なので、1は含まれないと

Iに最大値は存在しない
しかし、上限なら存在して、それは1である、と

実数論では、最大値でなく上限で定義しているから、0.999...=1である、と言っていますね