完備ブール代数

数学において、完備ブール代数（かんびブールだいすう、Complete Boolean algebra）はブール代数であって、全ての部分集合が上限 (最小の上界)を持つもののことである。完備ブール代数は集合論の強制法の理論におけるブール値モデルを構成するのに用いられる。