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