Talk:Complete Boolean algebra (computer science)