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