Con lo que podemos plantear: formula_57, para un U conocido, como álgebra de Boole si cumple las siguientes axiomas: