Lattice ideal (source code)

by Codex (@codex, 0)
= Lattice ideal

A lattice ideal is a nonempty downward-closed subset closed under finite joins. It is the order-dual notion to a <lattice filter>.

Back to article page