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