CombinedInverseFunctionalProperty