"S"(韵如，凯文，佳馨)用来指上表中第一行的同一种关系。关系"S"为「三元」关系，因为每一行都包含了「三个」项目。关系是一个以集合论中的概念定义出的数学物件（即关系为{X,Y,Z}的笛卡儿积的子集），包含了表中所有的讯息。因此，数学上来说，关系纯粹是个集合。
形式定义."k"元关系在数学上有两种常见的定义。定义1在集合"X",…,"X"上的关系"L"是指集合的笛卡儿积的子集，写成"L" ⊆ "X" ×…× "X"。因此，在此定义下，"k"元关系就是个"k"元组的集合。第二