theorem Th16: :: NECKLA_3:16

for G being strict irreflexive RelStr holds ComplRelStr (ComplRelStr G) = G