完全正規空間
【かんぜんせいきくうかん】
【kanzenseikikuukan】
完全正规空间