Stone prime filter theorem
ID: stone-prime-filter-theorem
If a lattice filter and lattice ideal in a distributive lattice are disjoint, there is a prime filter of a distributive lattice containing and disjoint from .
The Boolean prime ideal theorem is the Boolean-algebra version; distributivity gives this corresponding filter-extension statement.
New to topics? Read the docs here!