Du kannst dir das kartesische Produkt ähnliche wie das Ausmultiplizieren von Klammern vorstellen. Wenn dann z.B. $$M_1 = \{a,b,c\}, M_2 = \{d,e\}$$, dann kannst du dir das denken wie (a+b+c)*(d+e). Das gibt dann a*d + a*e + b*d + b*e + c*d + c*e. Die Elemente des kartesischen Produktes $$M_1 x M_2$$ wären dann (a,d), (a,e), (b,d), (b,e), (c,d), (c,e).
Aber vorsicht: Das kartesische Produkt ist nicht kommutativ. Es ist zwar (a+b+c)*(d+e) = (d+e)*(a+b+c), aber $$M_1 x M_2 \neq M_2 x M_1$$. Das liegt daran, dass die Elemente des kartesischen Produktes, also (a,b), (c,d), ... geordnete Paare sind. Das heisst: $$(a,b) \neq (b,a)$$. Daher wäre $$M_1 x M_2 = \{(a,d), (a,e), (b,d), (b,e), (c,d), (c,e)\}$$ aber $$M_2 x M_1 = \{d,a), (d,b), (d,c), (e,a), (e,b), (e,c)$$.