On 11 Jan., 01:35, Virgil <vir...@ligriv.com> wrote:
Do you think that the union of the set of finite initial segments of paths 0.1 0.11 0.111 ... contains the path 0.111... or not? If not, what node is missing? None. So how would you distinguish by nodes the path 0.111... from the union of its finite initial segments? If yes, how could the infinite path 0.111... be distinct from the union of its finite initial segments?