S집합을 설정한다는게 사실상 X와 P(X)가 일대일 대응이 존재하지 않는다는 걸 알고있기에 설정할수있는거아닌가요? S는 각각의 x원소들에 대해 f(x)에 없는 x들의 집합이고 f(x)는 X의 부분집합인데 만약에 일대일 대응이 존재한다면 P(X)의 원소인 f(x)중에 분명히 X=f(x)인 경우도 있을텐데 그러면 S집합 정의인 X의 원소면서 f(x)의 바깥에 있는 원소를 못 잡지 않나요 - dc official App
X=f(x)인 x는 그럼 그냥 정의대로 S에 포함 안되겠져