自反性

关系里面有 $I_A$

也就是所有都加上了自环

$$(\forall x)(x\in A\to ⟨x,x⟩\in R)$$

关系矩阵对角线全是 1