Έστω μια συνάρτηση . Αν υποθέσουμε ότι αυτή είναι , τότε για κάθε στοιχείο του συνόλου τιμών , της υπάρχει μοναδικό στοιχείο του πεδίου ορισμού της για το οποίο ισχύει . Επομένως ορίζεται μια συνάρτηση
με την οποία κάθε y ϵ f(A) αντιστοιχίζεται στο μοναδικό για το οποίο ισχύει .
Από τον τρόπο που ορίστηκε η προκύπτει ότι:
— έχει πεδίο ορισμού το σύνολο τιμών της ,
— έχει σύνολο τιμών το πεδίο ορισμού της και
— ισχύει η ισοδυναμία:
Αυτό σημαίνει ότι, αν η αντιστοιχίζει το στο , τότε η αντιστοιχίζει το στο και αντιστρόφως.
Δηλαδή η είναι η αντίστροφη διαδικασία της . Για το λόγο αυτό η λέγεται αντίστροφη συνάρτηση της και συμβολίζεται με . Επομένως έχουμε
οπότε
Από το σχολικό βιβλίο Μαθηματικά, της Γ Λυκείου.