自反关系

一种具有特性的关系。假定关系R的域为集合S，称集合

为S的卡氏积，并且记做S×S。这时，我们有RS×S。如果对于任意的x∈S，都有xRx(即R(x，x)，亦即＜x，x＞∈R)成立，则称关系R是自反的．或说R有自反性。