:: deftheorem defines bounded YELLOW_0:def 6 :
for L being RelStr holds
( L is bounded iff ( L is lower-bounded & L is upper-bounded ) );