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