a chain "becomes constant after a finite number of steps" if there is an "n" such that formula_3 for all "m" ≥ "n". a collection of subsets of a given set satisfies the ascending chain condition if any ascending sequence becomes constant after a finite number of steps. it satisfies the descending chain condition if any descending sequence becomes constant after a finite number of steps.