compltely rgular spce n. 【数学】 完全正則空間《点とそれを含まない閉集合とが与えられたとき, その点で 0, その閉集合で 1 を取る連続関数が存在するハウスドルフ空間 (Hausdorff space); 必然的に正則空間 (regular space) となる》.