[일반] 모든 부분집합이 컴팩트가 되기위한 젤 큰 위상이 여유한인가

[익명(222.96)]

그런거 정리해둔거 잇나

[ultraproduct(ultraproduct)]

cofinite topology는 아니지만 모든 subspace가 cpt인 topology 있음.