Category
page 1Trees (set theory)
tree
partially ordered set such that, for any element, the subset of elements less than it is well-ordered
Aronszajn tree
in set theory, a tree of uncountable height with no uncountable branches and no uncountable levels