Assertion: unordered tree | /r/HasProperty | well-founded
Facets:
Source sentences:
text: An unordered tree (X, ≤) is well-founded if the strict partial order < is a well-founded relation.