位相と論理と私5：ブール代数（pp.7-10）

かっこいい言い回しで始まる．$${PX}$$（ベキ集合族）が典型的なブール代数であるとのこと．抽象的過ぎて混乱した時はベキ集合族で考えるとよさそう．

補元定義1.17　束において，$${a\land x=0, a\lor x=1}$$となる$${x}$$を$${a}$$の補元という．

束には最小元0と最大元1の存在が保証されていました．補元はベキ集合で言えば「補集合」というやつですね．台集合$