何をブール代数の公理とするかは、定義しだい。