14. 관계와 부분 순서 (Relations and Partial Orders)
2020.12.06
관계 $R$은 집합 $A$와 집합 $B$의 곱집합의 부분집합이다. $$R\subseteq A\times B$$ 곱집합은 집합 $A$와 $B$의 조합으로 다음과 같이 정의된다. $$ \{a, b\}\times \{c, d\} = \{(a, c), (a, d), (b, c), (b, d) \}$$ 관계는 이 곱집합의 부분집합인데, 예를들어 집합 $A$가 학생의 집합이고, $B$가 수강 과목의 집합일 때, 백지오가 이산수학을 수강하는 관계를 다음과 같이 나타낼 수 있다. $$ (\text{백지오}, \text{Discrete Math}) \in R,_\text{(백지오)}R_\text{(Discrete Math)} $$ 관계 $R$이 정의하는 것은 상황에 따라 달라지는데, 수학적 표기법으로 다음과 같이 나타낼..