Added basics of section Complete Boolean algebras.