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

1. , ley de composición externa a la izquierda
2. , ley de composición externa a la derecha

En álgebra, una operación es la aplicación de un operador sobre los elementos de un conjunto. El operador toma los elementos iniciales y los relaciona con otro elemento de un conjunto final que puede ser de la misma naturaleza o no; esto se conoce técnicamente como ley de composición.