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