Propriedades das operações sobre conjuntos