Es sei
die Produktmenge der Mi{\displaystyle {}M_{i}}, i∈I{\displaystyle {}i\in I}. Dann nennt man zu j∈I{\displaystyle {}j\in I} die Abbildung
die j{\displaystyle {}j}-te Projektion.