On 27 Dez., 21:49, Virgil <vir...@ligriv.com> wrote:
> > It is the set > > of all finite paths extending from the root node to a given node. > > In every Complete Infinite Binary Tree, every finite path ends at the > root node of of another Complete Infinite Binary Tree. So for every > finite path, there are uncountably many extensions of it in every > Complete Infinite Binary Tree.
And every extension is contained in the CIBT constructed from all finite paths.
