[이산수학] 집합론

집합: 중복되는 원소가 없음 (구분할 수 있는 객체들의 모임) 

진부분집합: 부분집합 중에서 전체와 같지 않은 것

공집합은 모든 집합의 부분집합 

 

분할: 하나의 집합을 서로소인 부분집합들로 나눔 (공집합 x)

멱집합: 집합 A에 대하여 모든 부분집합들의 집합 (공집합 포함, 개수는 2^n개)

 

대칭차집합: A∪B에 속하지만 A∩B에는 속하지 않는 원소들

곱집합cartesian product: A에 속하는 원소 a와 B에 속하는 원소 b에 대해 모든 순서쌍(a, b)의 집합          

 

X = Y임을 증명하려면 X⊆Y이고 Y⊆X임을 보인다.