È l’operazione binaria commutativa che consente di costruire una relazione contenente tutte le tuple che si ottengono concatenando una tupla del primo operando con una tupla del secondo operando.
N.B.: Quasi sempre, nel risultato del prodotto cartesiano la maggior parte delle tuple sono inutili perché non veritiere (esempio: dati di un cliente uniti agli ordini di un altro cliente).
Si denota con .