补充，形式上是：（≆）=（〜）\（=）。也就是说，除了x〜x是真的，它相当于〜。例如，x≤y的自反减少是x <y。
特殊的自反关系.满足传递性的自反关系称为预序关系。满足反对称性的预序关系称为偏序关系。满足对称性的预序关系称为等价关系。
举例.自反关系举例：
n元素集合之上的关系.一个“n”-元素集合上，自反关系的数目是2.