Characterization of pairs invariant in both types
Both-types invariance conjecture. The only such pairs are the quasi-arithmetic transforms