", "E"），这里"V"是节点的集合，"E"是"V" × "V"的子集，表示边。在类型论中，多元组与重类别相关。
多元组的名称.长度为"n"的多元组通常称为"n"元组。二元组就是一个有序对。"n"可以是任意正整数，例如，四元数就可以被表示成一个四元组。
形式定义.多元组区别于集合的主要性质在于：（1）它可以多次含有某个对象；（2）对象按照一定顺序出现。可以看到（1）使它区别于全序集，（2）使它区别于多重集。两个"n"元组的相等性通常以下列规则来表明：