Como se prova que A que se cruza com B = A, se A é um subconjunto de B?
Suponha que A e B são subconjuntos de U. Como mostrar que abaixo, se qualquer uma das relações declaradas é válida, então cada uma das outras é válida: A <unk> B, U <unk> A <unk> U <unk> B, A <unk> B = B, A <unk> B = A?