Complete Boolean algebra (computer science)