Dados dois conjuntos e , define-se  Prove que dados três conjuntos arbitrários , e