Assertion: founded tree | /r/HasProperty | defined in stage
Facets:
Source sentences:
text: a well-founded tree (Y, R) on a subset Y of X is defined in stages ℛ i , so that ℛ = ⋃{ℛ