可分
from 内田 5章 位相空間
位相空間$ (X,\mathcal O)は可分である$ :\iff\exist A\in2^X:\overline A=X\land A\lesssim_\#\N
#2025-07-20 16:07:39
#2025-06-03 07:48:16