Tags: #definition

lattice of order ideals

Let $P$ be a poset. The lattice of order ideals is $J(P)$ the set of all ideals, ordered by inclusion. This yields a distributive lattice.