inherited domain of inverse function