In matematica, per spazio prodotto si intende un prodotto cartesiano di insiemi equipaggiato con una qualche struttura derivata da quelle esistenti sulle componenti. In particolare si può costruire: