On 4/4/2013 3:59 PM, WM wrote: > On 4 Apr., 22:37, Virgil <vir...@ligriv.com> wrote: > >>> In the Binary Tree there is no stop at any path. >> >> By the time one has a path one has infinitely many nodes in it, at least >> for a CIBT. > > Of course. If all FISONs are there, then all infinite paths are there > too.
If it is so obvious, get it right.
The infinite paths are there by definition.
The infinite paths are prior to the finite initial segments of nodes because "segment" implies a parthood relation to a whole.
So, if the infinite paths are there, then their parts are there too.