 Lattice filter

A lattice filter is a nonempty upward-closed subset closed under finite meets. A proper filter omits the bottom element.