Diremos que este conjunto y las operaciones así definidas: formula_19 son un álgebra de boole, si cumple las siguientes axiomas: