Okay. So hes just pointing out that there's an infinite series of intervals between 0 and any value > 0. Whats all the hubbub about then?
jsfisher claims that 0 is an
immediate predecessor of the values that are > 0.
This is not the case simply because for any given value
x > 0 in (0,X] interval there is
d such that 0<
d<
x, which prevents 0 from being the immediate predecessor of
x, so 0 is a predecessor of (0,X] but not an immediate predecessor of (0,X] .
Furthermore, the relation "<" in the expression [0,0] < (0,X] has a meaning only if it is used between the contents of the closed interval [0,0] and the clopen interval (0,X].
Jsfisher tries to force relation "<" between the closed interval [0,0] and the clopen interval (0,X] by ignoring their contents.
Jsfisher claims that 0 is the closest element to (0,X] which is not one of the elements of (0,X] interval.
But since (0,X] is opened w.r.t 0, then the term "closest" has no meaning exactly because for any given
x there is a closer element
d w.r.t to 0, and in this case 0 is not an immediate predecessor of any given
x in (0,X] interval.