The binary operation CARTESIAN PRODUCT (or CROSS PRODUCT), denoted by , creates a relation that combines tuples from two operands in a combinatorial fashion.

The result of is a relation with degree + attributes: . The resulting relation state has one tuple for each combination of tuples - one from and one from .

Operands do not have to be type-compatible.

Generally, cross product is not meaningful but it can precede other operations. To keep only combinations where the DEPARTMENT is related to the EMPLOYEE, we can add a SELECT operation: