generated at
連続化
離散の集合を連続の空間に埋め込むこと
離散集合を連続空間に