theorem :: LATTICE2:48

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