for L being non empty RelStr holds
( L is connected iff L opp is connected )