Se dice que esta Operación matemática es una operación externa en una operación binaria si la aplicación entre los conjuntos es de la forma: