However, in the infinite case we cannot rely upon an immediate successor relation, because points may not have successors.
Однако в бесконечном случае мы не можем полагаться на отношение непосредственного следования, поскольку точки могут не иметь предшественника.