完全布爾代數

在數學中 ， 完全布爾代數是所有子集都有上確界的布爾代數 。 完全布爾代數在力迫理論中有重要作用 。 任何布爾代數A都有一A是其子代數的最小的完全布爾代數 。 作爲偏序集合 ， 這種 A 的補全叫做戴德金補全 。