
theorem
  for L being RelStr holds L is bounded iff L opp is bounded
by Th30,Th31;
