for L being RelStr st L is empty holds
L is bounded