Direct Product

$X\times Y=\{x:\{1,2\}\to x_1\cup x_2|x_1{X}_1\wedge x_2\in X_2\}$
where $X=X_1$ and $Y=X_2$, basically $(X_1,X_2)$.