Una correspondencia formula_151 se denomina aplicación si todo elemento de A admite una única imagen en B., esto es si cumple la condición de unicidad de imagen y de existencia de imagen.