prodotto topologico
prodotto topologico per una famiglia di spazi topologici Xi è il prodotto cartesiano
munito della topologia prodotto. In uno spazio topologico possono essere definite più topologie tra le quali si stabilisce la relazione d’ordine parziale di finezza: la topologia T2 si dice più fine della topologia T1 se ogni aperto di T1 è anche aperto di T2. La topologia prodotto risulta essere la topologia meno fine che rende le proiezioni pi: X → Xi continue.