Used to combine tuples from two relations in a combinatorial fashion

- denoted by R(A1,A2,..,An) x S(B1,B2,..,Bm)

- results in a relation Q with degree n+m attributes: Q(A1,A2,...,An,B1,B2,...,Bm)

- do not need to be type compatible

- not usually a meaningful operation