Definition:Well-Founded Relation