On generating distributive sublattices of orthomodular lattices
Richard J. Greechie · Proceedings of the American Mathematical Society · 1977
A Foulis-Holland set is a nonempty subset S of an orthomodular lattice such that whenever x, y, z are distinct elements of S one of them commutes with the other two. If S is a Foulis-Holland set, then the sublattice generated by S is distributive.