upper semilattice (Q29018101)
partially ordered set that has a least upper bound for any nonempty finite subset
Language:
other details
aliases join-semilattice
description partially ordered set that has a least upper bound for any nonempty finite subset