for L being RelStr holds
( L is reflexive iff L opp is reflexive )