n元有序组(ordered n-tuples)亦称n目有序组，是有序对的推广，按一定顺序给出的n(n≥1)个客体称为一个n元有序组。依次给出n个客体x1，x2，…，xn得到的n元有序组记为〈x1，x2，…，xn〉(或(x1，x2，…，xn))，其中xi常称为有序组的第i分量，元数不同的两个有序组不等，两个n元有序组〈x1，x2，…，xn〉与〈y1，y2，…，yn〉相等，当且仅当对每一个i∈{1，2，…，n}，有xi=yi。n元有序组可以用序偶来定义：对于n∈N，n≥2，〈x1，x2，…，xn+1〉=〈〈x1，x2，…，xn〉，xn+1〉。序偶两个按一定次序排列的元素以与b组成一个有序序列称为序偶或有序偶或有序二元组，并可记为(a，b)，其中a与b分别称为(a，b)的第一分量与第二分量。 注意：序偶构成了两个元素间的次序，并构成了一种新的、特殊结构的元素，其本身并不表示由两个元素所组成的集合。序偶的概念很重要，在客观世界中我们经常会遇到序偶。