Decomposition of an Ortholattice

Abstract

In this paper B-elements and C-elements are defined in an ortholattice. We obtain an equivalent condition for an ortholattice to become a distributive lattice and hence Boolean algebra in terms of B-elements. Using B-elements two congruences are studied. Finally for each C-element, we obtain a decomposition for an ortholattice.