"InverseFunctionalProperty" . . . . . . . "The class of inverse-functional properties." .