[数]?自反关系

则R称为是X上的 1°自反关系(reflexive relation)：当且仅当R满足 自反性：(xX)(xRx) ； 显然，对于自反关系R，(R) =  (R) = X 。