Producto cartesian

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

${\displaystyle 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 ${\displaystyle {\mathfrak {P}}}$ insimul potentia.