metrizable space
فضای متریک‌پذیر
regular space
فضای منظم
یک فضای منظم که توپولوژی آن پایه شمارایی دارد، متریک پذیر است.
Urysohn theorem
قضیه اوریسون