Para un elemento del codominio "b", "f"("b") puede denotar tanto la anti-imagen de "b" (un subconjunto del dominio), como a la imagen de "b" por la función inversa de "f" (un elemento del dominio), en el caso de que "f" sea invertible.