Tag: properties of inverse functions