Definition, synonyms and related words
A partially ordered set in which all subsets have both a supremum (join) and an infimum (meet).