theorem Th25: :: NECKLA_3:25

for G being non empty irreflexive RelStr holds
( G is N-free iff ComplRelStr G is N-free )