. Mais il faudra la définir en sorte que les propriétés topologiques des espaces qui composent le produit remontent sur la topologie du produit. Ainsi, si les espaces de départ sont compacts, ou connexes, il sera appréciable qu'il en soit de même de leur produit.