theorem Th49: :: LATTICE2:49

for L being Lattice holds
( L is upper-bounded iff L .: is lower-bounded )