In the Boolean algebra