$M\times N\text{:=}\{\left(x,y\right):x\in M$ und $y\in N\}.$ (Produkt zweier Mengen)

     $M_1\times \cdots \times M_n\text{:=}\left\{\left(x_1,\dots ,x_n\right):x_1\in M_1,\dots ,x_n\in M_n\right\}.$

      (Produkt endlich vieler Mengen)