§22.5 有限布尔代数的结构