A subtração em IN é uma operação que corresponde a todo par ordenado(a, b), cuja diferença é uma função definida dentro de um conjunto qualquer, não obtendo resultado, somente, em IN x IN, logo podemos dizer que a subtração:

 

• é uma função onde o conjunto imagem é o conjunto dos números naturais.

• é uma lei de composição interna que não está completamente definida dentro do conjunto dos números naturais, portanto não é uma operação interna.

• não é uma lei de composição interna e nem uma operação interna.

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

• é uma operação interna definida dentro de um conjunto qualquer.