文摘
Let ¨¢D, ¡ê ?\langle {\mathcal{D}}, \leq \rangle be the ordered set of isomorphism types of finite distributive lattices, where the ordering is by embeddability. We characterize the order ideals in ¨¢D, ¡ê ?\langle {\mathcal{D}}, \leq \rangle that are well-quasi-ordered by embeddability, and thus characterize the members of D\mathcal{D} that belong to at least one infinite anti-chain in D\mathcal{D}.