join semilattice

$(S,⪯)$ は 順序集合
join $\vee$ に対し, ${}^{\forall }a,{}^{\forall }b\in S,a\vee b\in S$
$(S,\vee ,⪯)$ を join semilattice と呼ぶ

参考文献

• Definition:Join Semilattice - ProofWiki