In de
verzamelingenleer is het
cartesisch product of de
productverzameling van twee verzamelingen de verzameling van alle
koppels of geordende paren (
a,b) waar
a uit de eerste en
b uit de tweede verzameling komt. Het cartesisch product van twee verzamelingen
A en
B wordt genoteerd als .