As operações matemáticas possuem propriedades básicas. As propriedades são comuns à grupos inversos e devem ser observadas para a validação dos resultados obtidos nas operações. A propriedade da adição que permite compreender a subtração como uma adição de inversos aditivos é a:
