 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.