집합론 - 집합과 연산
1. 집합 집합 set : 구성요소의 내용규정이 명확하며 구별되는 사물들의 모임으로, 보통 영어 대문자로 표현하고, 집합에 포함되는 원소 element(기호 ∈ 로 표현, 원소가 아니면 기호에다가 사선 처리) 는 영어 소문자로 표현한다. 집합 A와 B가 서로 다르면 A ≠ B 로 나타낸다. 집합 A가 집합 B의 부분집합 subset 이면 A ⊆ B 로 나타낸다. A ⊆ B 이고 B ⊆ A 이면 두 집합은 같다 equal 고 한다. A ≠ B 이면서 A ⊆ B 이면 집합 A는 집합 B의 진부분집합 proper sunset 으로 A ⊂ B 로 나타낸다. 이 때 집합 B는 집합 A의 초집합 super sunset 이다. 진부분집합일 때, 두 집합은 비교가능 comparable 하다고 본다. 집합의 표시방법에는 원소들을 모두 나열한 원소나열법 tabular form 과, 조건을 제시한 조건제시법 set-builder form 이 있다. 유한집합 finite set : 유한개의 원소만을 포함