완전 관계

집합 \(X\)위의 이항 관계 \(\sim\)이 다음을 만족하면 \(\sim\)을 완전(total)하다고 한다.

\[ \forall x, y \in X. x \sim y \vee y \sim x \]