Entonces(A×B)c=(Ac×B)∪(A×Bc)∪(Ac×Bc) existe una colección finita, disjunta{Ai:i∈I} de conjuntos enS y una colección fini...Entonces(A×B)c=(Ac×B)∪(A×Bc)∪(Ac×Bc) existe una colección finita, disjunta{Ai:i∈I} de conjuntos enS y una colección finita, disjunta{Bj:j∈J} de conjuntos enT tal queAc=⋃i∈IAi yBc=⋃j∈JBj.