Join Semilattice is Semilattice

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $\struct {S, \vee, \preceq}$ be a join semilattice.


Then $\struct {S, \vee}$ is a semilattice.


Proof

By definition of join semilattice, $\vee$ is closed.

The other three defining properties for a semilattice follow respectively from:

Join is Commutative
Join is Associative
Join is Idempotent

Hence $\struct {S, \vee}$ is a semilattice.

$\blacksquare$


Also see


Sources