Propriedades da adição no conjunto de números reais