혹시 이거 성립함? 성립하면 좋겠는데...
핀터 집합론 풀다가 생긴 의문점임