A Note on the Set-Theoretic Representation of Arbitrary Lattices

Every lattice is isomorphic to a lattice whose elements are sets of sets, and whose operations are intersection and an operation extending the union of two sets of sets A and B by the set of all sets in which the intersection of an element of A and of an element of B is included. This representation spells out precisely Birkhoff's and Frinks's representation of arbitrary lattices, which is related to Stone's set-theoretic representation of distributive lattices.

Abstract licence: CC0

A person counts once a day per paper. We keep no cookie and no address: a reader is a hash that changes every day. Any month under five reads shows no number.