用有序对的一般集合论定义，并用空集来表示0元组，就可以得到下列归纳定义：采用这个定义，(1,2,2)为这里与LISP最初使用有序对归纳地产生其所有的"n"元组和表结构的方法有非常重要的类似：
在计算机科学中的应用.在计算机科学（特别是在程序设计语言和数据库的关系模型），多元组通常被定义为从字段名到特定值的有限函数（在此情况又可译为值组）。其目的和在数学中一样，就是指出特定的实体，或那些包含特定部件且（或）具有特定性质的对象。但是，这里的部件透过唯一的字段名来识别，而不是透过