En álgebra abstracta, la ley de composición es un tipo de operación binaria que da lugar a distintas estructuras algebraicas.