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 .
New to topics? Read the docs here!