Propriedades das operações entre conjuntos