Για οποιαδήποτε αντιστρέψιμη συνάρτηση f με πεδίο ορισμού Α ισχύει ότι $f(f^{-1}(x))= x, x \in A$ για κάθε $x \in A$