for G being strict irreflexive RelStr st G is trivial holds
ComplRelStr G = G