Definição usando bases e sub-bases
Esta definição é equivalente à seguinte:
- A topologia produto é a topologia cuja base é formada pelas interseções finitas das imagens inversas, pelas projeções canônicas, dos abertos de cada espaço topológico que forma o produto.
Equivalentemente, seja o produto, e a topologia de para cada . Então a topologia produto tem como sub-base a coleção , em que é a projeção canônica.