Propriedades das operações no conjunto dos números reais