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