체르멜로-프렝켈 집합론
체르멜로-프렝켈 집합론 속에서, 위상 공간 formula_1에 대하여 다음 조건들을 생각하자.