거듭제곱집합과 데카르트 곱 ZF6. 거듭제곱집합 공리; Power set axiom. \(x\)가 집합이라고 하자. 그러면 \(x\)의 모든 부분집합만을 원소로 갖는 집합이 존재한다. \(x\)가 집합일 때 \(x\)의 모든 부분집합만을 원소로 갖는 집합은 유일하다. 그러므로 다음과 같이 정의한다. 정의 1. \(x\)가 집합일 때, \(x\)의 모든 부분집합만을 원소로 갖는 집합을 \(x\)의 거듭제곱집합(power set) 또는 멱집합이라고 …
Tag