Definition:Well-Founded Ordering