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