Definition:Descending Chain Condition

Also see

 * Definition:Ascending Chain Condition


 * Definition:Well-Founded Relation