집합(Set) > * 집합의 개념 * 집합에 속하는 각 객체는 많아야 한 번 그 집합에 나타난다. S1이 S2와 완전히 같음을 증명하기 위해서는 S1이 S2에 포함되며, S2가 S1에 포함됨을, 즉 두가지를 증명하면 된다. 카테시안 곱(Cartesian product) 카테시안 곱은 a∈A와 b∈B의 모든 쌍 (a,b)으로 이루어진 집합이다. 예로 A = {1,2,3} , B = {4,5,6}에 대한 카테시안 곱은 다음과 같다. {(1,4), (1,5), (1,6), (2,4) .... (3,5), (3,6)} 유한집합인 A와 B의 카테시안 곱 크기는 12이며 |A x B|로 표현될 수 있다. 함수 함수는 가능한 입력 집합 D의 각 원소에 대해 가능한 출력을 할당하는 규칙이다. 출력은 함수에 의한 입력의 상(image)이고, 입력은 출력의 원상(pre-image)이다. 가능한 입력 집합 D는 함수의 정의역(domain)이다.