Page "Boolean algebra (structure)" Paragraph 11

It then follows that f (¬ a ) = ¬ f ( a ) for all a in A as well.

The class of all Boolean algebras, together with this notion of morphism, forms a full subcategory of the category of lattices.