Una ley de composición interna asigna a cada par ordenado ("a", "b"), cuyas componentes pertenecen ambas al conjunto "A", un tercer elemento "c", también contenido en "A".