Assertion: tree's height | /r/AtLocation | most ω
Facets:
Source sentences:
text: Another equivalent definition of an unordered tree is that of a set-theoretic tree that is singly-rooted and whose height is at most ω (a finite-ish tree).