theorem :: LATSTONE:41

for B being Boolean Lattice holds DenseElements (B squared-latt) = { [a,(Top B)] where a is Element of B : verum }