Stone prime filter theorem
= Stone prime filter theorem
{c}
If a <lattice filter> $F$ and <lattice ideal> $I$ in a <distributive lattice> are disjoint, there is a <prime filter of a distributive lattice> containing $F$ and disjoint from $I$.
The <Boolean prime ideal theorem> is the Boolean-algebra version; distributivity gives this corresponding filter-extension statement.