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