自反关系是在逻辑学和数学中一种特殊的二元关系，这样的二元关系被称为自反的，也被称为具有自反性。自反关系的一个例子是关于实数集合的“等于”关系，因为每个实数都等于它自己。对称性、传递性以及自反性是定义等价关系的三个属性。
定义.对于集合X上的二元关系R，若满足：取X里任一元素a，且满足对于所有a皆存在(a,a)在R集合中，则称二元关系R是自反的，或称R具有自反性，或称R为自反关系。
相关概念.formula_1，a = a，在一些系统中称为相等公理。一个