Begriff aus der Mengenlehre, identisch mit dem mengentheoretischen Durchschnitt: Für Mengen M und N definiert man das mengentheoretische Produkt M · N als die Menge, welche alle Elemente enthält, die sowohl in M als auch in N enthalten sind, d. h., \begin{eqnarray}M\cdot N:=M\cap N:=\{x:x\in M\wedge x\in N\}\end{eqnarray}

(Verknüpfungsoperationen für Mengen).