Porque siA es tal unión, está abierta por Teorema2. Por el contrario, siA está abierto, entonces cada unop∈A está en algunosGp⊆A. Todos esosGp(p∈A) cu...Porque siA es tal unión, está abierta por Teorema2. Por el contrario, siA está abierto, entonces cada unop∈A está en algunosGp⊆A. Todos esosGp(p∈A) cubren todosA, asíA⊆⋃p∈AGp. también,⋃p∈AGp⊆A ya que todosGp están enA. Así