Ett
ordnat par (
a,
b) är två objekt uppfattade som en helhet och där ordningen dem emellan har betydelse, (
a,
b) ≠ (
b,
a) om
a ≠
b. Ett ordnat par är alltså inte samma sak som en
mängd av två objekt eftersom det hos mängder inte spelar någon roll i vilken ordning man räknar upp objekten. Ofta säger man bara "
par" i stället för "ordnat par". Analogt med "par" finns begreppen
trippel, kvadrupel etc för
sekvenser av tre respektive fyra objekt. En mer generell term är
n-tippel (eller
n-tupel) för en
följd av
n stycken objekt, och ett ännu generellare begrepp är
familj.