Es un término del álgebra abstracta que se usa para nombrar un tipo de operación binaria en la que dos elementos de conjuntos dados se asignan a otro elemento, y que da lugar a distintas estructuras algebraicas. La ley de composición puede ser interna o externa, según si la aplicación los elementos que toman parte de ella forman parte del mismo conjunto o de conjuntos distintos, respectivamente.