Prime filter of a distributive lattice
= Prime filter of a distributive lattice
{wiki=Prime_filter}
A prime filter is a proper <lattice filter> $P$ such that $a\vee b\in P$ implies $a\in P$ or $b\in P$.
= Prime filter of a distributive lattice
{wiki=Prime_filter}
A prime filter is a proper <lattice filter> $P$ such that $a\vee b\in P$ implies $a\in P$ or $b\in P$.