Definition:Strongly Well-Founded Relation