布尔代数的每一子布尔代数仍是布尔代数。