Producto cartesian

In mathematica, plus precisemente in le theoria de insimules, un producto cartesianPatrono:LinfoX $A\times B$ es le insimul del pares ordinate $(a;b)$ con $a\in A$ e $b\in B$.

$A\times B:=\{p\in 𝔓(A\cup B)\mid \mathrm{\exists }a,ba\in A\wedge b\in B\wedge p=(a;b)\}$ con $𝔓$ insimul potentia.