Propriedades das operações