Join in a Poset
Backlinks
Inflattice
Bottom Element
Complete Lattice
Kleene Star
Suplattice
Scott Continuous Map
Join Semilattice
Locale
Pointed Directed-Complete Partial Order
Directed-Complete Partial Order