for L being RelStr holds
( L opp is lower-bounded iff L is upper-bounded )