Section 0. Sets and Relations

Subset (부분 집합) - 집합 B의 모든 원소가 집합 A에 포함되면 B를 A의 subset이라 한다. 이를 B ⊆ A나 A ⊇ B로 표현한다. - 만약 B ⊆ A 이며 B ≠ A라면 B ⊂ A나 A ⊃ B로 표현한다. - A는 항상 A의 부분집합이고, 이를 A의 improper subset(가부분집합)이라 한다. 즉, A는 A의 가부분집합이다. 또한 위 경우를 제외한 A의 부분집합들을 A의 proper subset(진부분집합)이라 한다. Cartesian product (데카르트 곱) - A, B가 집합일 때, 집합 A × B = {(a, b)|a∈A and b∈B}를 A와 B의 데카트르 곱이라 한다. ex) A = {1, 2, 3}, B = {3, 4} 일 때, A×B = {(1, 3), (1, 4), (2, 3), (2, 4), (3, 3), (3, 4)} - 수의 집합 - Z는 정수의 집합, Q는 유리수의 집합, R은 실수의 집합이다. - Z+, Q+, R+는 각각 Z, ...