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