A adição em IN é uma operação que corresponde a todo par ordenado(a, b), cuja soma é uma função definida dentro do conjunto IN x IN, logo podemos dizer que a adição:

 

• não é uma lei de composição interna completamente definida, mas é uma operação interna.

• é uma lei de composição interna completamente definida, portanto é uma operação interna.

• é apenas uma operação qualquer com resultados indefinidos. 

• é uma lei de composição interna completamente indefinida, e não é uma operação interna.

• é uma função, onde somente o domínio é o conjunto dos números naturais.