Lattice filter
= Lattice filter
A lattice filter is a nonempty upward-closed subset closed under finite meets. A proper filter omits the bottom element.
A <lattice filter> is a <filter in an ordered set> when that order is a lattice; directedness and upward closure then imply closure under finite meets.