Gδ集合
Gδ-空間は、その任意の閉集合が Gδ-集合となるような位相空間を言う(Johnson, 1970)。正規空間が Gδ-空間でもあるとき、その空間は完全正規空間であるという。任意の距離化可能空間は完全正規であり、任意の完全正規空間は全部分正規である(いずれの含意も逆は成り立たない)。