well-founded relation

type of binary relation

زمرے: