Geef een beschrijving van het cartesisch product

SxT heeft als waardenverzameling tweetallen, met een eerste element van type S en een tweede element van type Y (aanwezig in Haskell in de vorm van tupels , in Java als klassetype)

In de verzamelingenleer is het cartesisch product of de productverzameling van twee verzamelingen de verzameling van alle koppels of geordende paren (a,b) waarvan a uit de eerste en b uit de tweede verzameling komt. Het cartesisch product van twee verzamelingen A en B wordt genoteerd als  AxB.Voorbeeld A={1,2} en B={3,4,5}, dan is AxB={(1,3),(1,4),(1,5),(2,3),(2,4),(2,5)}