Si formula_13 es una función, al conjunto formula_4 se le conoce como contradominio, mientras que el conjunto imagen consta únicamente de los valores que realmente toma.