theorem Th32: :: WAYBEL13:32

for L1, L2 being sup-Semilattice st L1,L2 are_isomorphic & L1 is lower-bounded & L1 is algebraic holds
L2 is algebraic