離散空間
離散位相$ 2^Xを与えられた位相空間$ (X,2^X)のこと
#2025-01-27 15:25:58