Quasivarieties of orthomodular lattices and Bell inequalities

It is shown that the class of orthomodular lattices with at least two elements having a nonzero Boolean quotient, which coincides with the class of orthomodular lattices possessing a state in which Bell inequalities of a special type are satisfied, forms a quasivariety.