Es seien M1,…,Mn{\displaystyle {}M_{1},\ldots ,M_{n}} Mengen und Si⊆Mi{\displaystyle {}S_{i}\subseteq M_{i}} Teilmengen. Dann nennt man die Produktmenge