Producto cartesian

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

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