Basic postulates of Boolean algebra