반사 관계

집합 \(X\)위의 이항 관계 \(\sim\)이 다음의 조건을 만족시킨다면 \(\sim\)을 반사적(reflexive)이라고 한다.

\[ \forall x \in X, \ x \sim x \]