In de wiskunde en de informatica is een tupel een eindige sequentie van objecten. In een tupel is de volgorde van belang; als de objecten in een andere volgorde staan is het een ander tupel. Ook hoeven de objecten niet van hetzelfde type te zijn.

Formeel is een tupel een element van een eindig Cartesisch product

waar elke A_i afzonderlijk een verzameling is.