Dado un conjunto "A" y una operación formula_5, que representaremos como el par formula_6, se dice que formula_5 es una ley de composición interna u operación interna en "A" cuando es una aplicación de la forma siguiente.