
theorem Th6:
  for L being RelStr, a being Element of L holds {} is_<=_than a &
  {} is_>=_than a;
