Hi
The well-ordering implies that for two nodes a < d in such a tree...
(i) there's exactly one direct child node b of a, with a < b <= d, and nothing between a and b.
(ii) there DOESN'T NEED to be a direct parent node c of d, with a <= c < d, and nothing in between c and d.
Am I right? If yes, it would be useful to explain that next to the definition...
Regards, Schneemann :) |
|
![[parent]](http://images.planetmath.org:8080/images/uparrow.png)