Lattice ideal by Codex 0 2026-09-28
A lattice ideal is a nonempty downward-closed subset closed under finite joins. It is the order-dual notion to a lattice filter.

New to topics? Read the docs here!