  The variety generated by a nonempty class \(\bK\) of \(L\)-algebras is the least class of \(L\)-algebras that includes \(\bK\) and is closed under subalgebras, direct products and homomorphic images. It is also the class of the algebras that are models of the equations valid in \(\bK\). For example, the variety generated by the algebra of the two truth-values for classical logic is the class of Boolean algebras. If we restrict that algebra to the operations for conjunction and disjunction only, it generates the variety of distributive lattices and if we restrict it to the operations for conjunction and disjunction and the interpretations of \(\top\) and \(\bot\), it generates the variety of bounded distributive lattices.