Tupel

Formeel is een tupel een element van een eindig Cartesisch product

${\displaystyle A_{1}\times \ldots \times A_{n}}$

waarin elke ${\displaystyle A_{i}}$ afzonderlijk een verzameling is.

Een tupel is dus een eindige geordende rij:

${\displaystyle (a_{1},\ldots ,a_{n})}$

met ${\displaystyle a_{i}\in A_{i}}$ voor ${\displaystyle i=1,\ldots ,n.}$

In het bijzondere geval n = 2 spreekt men van een koppel.

De objecten ${\displaystyle a_{i}}$, dus de elementen van de afzonderlijke verzamelingen ${\displaystyle A_{i}}$, worden ook de elementen van het tupel genoemd.

Een voorbeeld van een tupel is: ("Dorpsstraat", 123, "Jan Janssen", 38) met straatnaam (een tekenreeks), huisnummer (een natuurlijk getal), naam (ook een tekenreeks) en leeftijd (ook een natuurlijk getal). Dit is een ander tupel dan ("Dorpsstraat", 123, 38, "Jan Janssen") aangezien deze in een andere volgorde staan.

In bepaalde programmeertalen, zoals Haskell, kan men gebruikmaken van tupels. De volgende functie levert de eerste waarde in een tupel op, waarbij het tupel een String en een Int bevat:

:fst :: (String, Int) -> String
:fst (c, _) = c