for S, R being RelStr st S,R are_isomorphic holds
card the InternalRel of S = card the InternalRel of R