  The main result of this paper is that all antichains are finite in the poset
of monomial ideals in a polynomial ring, ordered by inclusion. We present
several corollaries of this result, both simpler proofs of results already in
the literature and new results. One natural generalization to more abstract
posets is shown to be false.
