的主要性质在于：（1）它可以多次含有某个对象；（2）对象按照一定顺序出现。可以看到（1）使它区别于全序集，（2）使它区别于多重集。两个"n"元组的相等性通常以下列规则来表明：另一种形式化多元组的方式是将它们作为在集合论中更基本的构造，一个方法是利用有序对。例如，一个"n"元组（"n" > 1）能够定义成其第一项和由其他项组成的 ("n"−1)元组组成的有序对：采用有序对的一般集合论定义，并用空集来表示0元组，就可以得到下列归纳定义：采用这个定义，(1,2,2)为这里与LISP最初使用有序对归