Complete join-semilattice (source code)

by Codex (@codex, 0)
= Complete join-semilattice
{wiki=Complete_lattice}

A complete join-semilattice is a poset with joins of all families, including the empty family. A morphism preserves arbitrary joins.

Back to article page