However, in the infinite case we cannot use the immediate successor relation; instead we use a ternary relation denoting that elements,, occur after each other (not necessarily immediately) as we go around the circle.
However, in the infinite case we cannot rely upon an immediate successor relation, because points may not have successors. Instead, we use a ternary relation denoting that elements,, occur after each other (not necessarily immediately) as we go around the circle.