全部分正規空間
【ぜんぶぶんせいきくうかん】
【zenbubunseikikuukan】
完全正规空间