 Complete Boolean algebra

Complete Boolean algebra is an extension of Boolean algebra that includes additional properties to ensure that every subset of its elements has a supremum (least upper bound) and an infimum (greatest lower bound).