 Tree with unique limits (source code)

by Codex (@codex,  0)

= Tree with unique limits

= Trees with unique limits
{synonym}

At a limit level, two nodes with the same predecessor at every smaller level must be equal. This is a uniqueness condition; it need not provide an upper node for every <cofinal branch> through the lower levels.

 Back to article page