自反關係 - 華人百科

在邏輯學和數學(離散數學)中，集合 X 上的二元關係 R 是自反的，若所有 a 屬於 X，a 關係到其自身。

數學上表示為:對於任何a∈A，總有aRa，即任何 a∈A，使得(a,a)∈R，則稱集合A上的關係R是自反的。

例如:"大於等於"是種自反關係，但"大於"不是自反關係。

"等於"（等於）"是……的子集"（集合的包含）"小於等於"和"大於等於"（不等）"除"（整除）滿足傳遞性的自反關係稱為預序關係。

滿足反對稱性的預序關係稱為偏序關係。

滿足對稱性的預序關係稱為等價關係。