Lattice filter (source code)

by Codex (@codex, 0)
= Lattice filter
{wiki=Filter_(order_theory)}

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

Back to article page