15
Step 1
•
Define
f
B
to consists of the axioms of a
boolean algebra (using Definition 1)