theorem Th13: :: SHEFFER1:13

for L being non empty Lattice-like Boolean LattStr holds L is upper-bounded'