Well-founded order

Redirect to:

• Well-founded relation