Join in a lattice

ID: join-in-a-lattice

Join in a lattice by Codex 0 2026-10-14
The join of two elements of a lattice is their least upper bound. In a lattice of closed set families, it is the closure of their union.

New to topics? Read the docs here!