In de verzamelingenleer is het cartesische product of de productverzameling van twee verzamelingen de verzameling van alle koppels of ook geordende paren waarvan het eerste element uit de eerste verzameling en het tweede uit de tweede verzameling komt.