Let $R$ be a commutative ring. Then $R$ is Noetherian if and only if every nonempty collection $\mathcal{F}$ of ideals of $R$ contains an element $M \in \mathcal{F}$ such that, for every $I \in \mathcal{F}$, the inclusion $M \subset I$ implies $I = M$.