대칭 관계

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

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