Well-founded set
Redirect to:
Well-founded relation