Definition, synonyms and related words
A lattice in which the "meet" and the "join" operations are distributive with respect to each other.