Descending chain condition
= Descending chain condition
A family of <ideals> satisfies the descending chain condition when every descending sequence of <ideals> eventually becomes constant. A <ring> is <Artinian> precisely when all its <ideals> satisfy this condition.