The Stone Space of an Ortholattice
Robert Goldblatt · Bulletin of the London Mathematical Society · 1975
It is shown that every ortholattice is isomorphic to a lattice of subclasses of a set that carries an irreflexive, symmetric binary relation. A topology is then identified on this set that yields a characterisation of those subclasses that represent elements of the original ortholattice.