![]()
出典:Wiktionary
semilattice (複数形 semilattices)
出典:Wikipedia
出典:『Wikipedia』 (2011/06/20 17:50 UTC 版)
In mathematics, a join-semilattice (or upper semilattice) is a partially ordered set which has a join (a least upper bound) for any nonempty finite subset. Dually, a meet-semilattice (or lower semilattice) is a partially ordered set which has a meet (or greatest lower bound) for any nonempty finite subset. Every join-semilattice is a meet-semilattice in the inverse order and vice versa.