特殊的二元关系设 A 是一个集合，则

空集 称作 A 上的空关系 称作 A 上的全域关系 称作 A 上的恒等关系

[编辑] 关系矩阵

设 及 ，R是 X Y上的关系，令

则0,1矩阵

称为R的关系矩阵，记作MR。