系矩阵来做到。具有自反性、对称性、传递性的关系称作等价关系。一个常见的例子就是整数的模同余。具有自反性、反对称性、传递性的关系称作偏序关系。例如自然数集上的大于等于就是偏序关系。
n元谓词.n元谓词就是含有n个变量的布尔值函数。由于上述的n元关系定义了 ("x", ..., "x")属于"R"时唯一的n元谓词（反之亦然），关系和谓词通常使用相同的符号。所以下列两种写法一般认为是等价的：
多重关系.许多事物有多个元素两两关系。例如：1，无穷个