Learn More
If X is a variety of orthomodular lattices generated by a finite orthomodular lattice the MacNeille completion of every algebra in X again belongs to X. The MacNeille completion of an ortholattice (abbreviated: OL) L carries a natural orthocomplementation, which is unique if one requires that it extends the orthocomplementation of L, cf. MacLaren [ 121. We(More)
  • 1