En er i matematikken en endelig ordnet liste (sekvens) av elementer. En -tuppel er et følge eller en ordnet liste av elementer, hvor er et ikke-negativt heltall. Det er bare én 0-tuppel, og denne består av en tom sekvens. En -tuppel blir definert induktivt ved å bruke konstruksjonen av et ordnet par.