Si una correspondencia cumple estas dos condiciones se denomina aplicación.