well-founded relation

type of binary relation

Categories: