theorem Th20: :: SHEFFER1:20
for L being non empty Lattice-like Boolean distributive' LattStr holds Top L = Top' L