Siguiente siA×B∈B yC×D∈B, para queA,C estén abiertos enS yB,D estén abiertos enT, entonces\[ (A \times B) \cap (C ...Siguiente siA×B∈B yC×D∈B, para queA,C estén abiertos enS yB,D estén abiertos enT, entonces(A×B)∩(C×D)=(A∩C)×(B∩D)∈B Por lo tantoB es una base para una topología enS×T.