Definition:Join Semilattice/Also known as

From ProofWiki
Jump to navigation Jump to search

Join Semilattice: Also known as

A join semilattice is also known as an upper semilattice or a $\vee$-semilattice.

Some sources hyphenate: join semi-lattice.


Sources