theorem Th4: :: YELLOW_7:4

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