Past exam of the mathematics course of the University of Cambridge / 2023 / iii / Paper 120 / 3 / c / Solution

The Stone prime filter theorem says that if a lattice filter $F$ and a lattice ideal $I$ of a distributive lattice are disjoint, then there is a prime filter of a distributive lattice $P$ such thatEquivalently, whenever $a\nleqq b$, there is a prime filter containing $a$ and omitting $b$.