La ley de composición es interna si la aplicación que la define «mantiene» el mismo conjunto, tanto en el par de conjuntos de partida, como en el de llegada.