表示一个在集合"P"上的关系"S"，其中：包括表中所有的人物。表中的资料则等同于如下的有序对：若较不严谨些，通常会将"S"(韵如，凯文，佳馨)用来指上表中第一行的同一种关系。关系"S"为「三元」关系，因为每一行都包含了「三个」项目。关系是一个以集合论中的概念定义出的数学物件（即关系为{X,Y,Z}的笛卡儿积的子集），包含了表中所有的讯息。因此，数学上来说，关系纯粹是个集合。
形式定义."k"元关系在数学上有两种常见的定义。定义1在集合"X",…,"X"上的关系"L"是指