for B being Boolean Lattice holds Top (B squared-latt) = [(Top B),(Top B)]