Cartesian Product

The cartesian product of two sets $V_1\times V_2$ is the set $\{(v_1,v_2):v_1\in V_1,v_2\in V_2\}$.