فضای منظم

یک فضای توپولوژیکی که در آن هر مجموعۀ بسته و هر نقطه‌ای در خارج آن مجموعه همسایگی‌های باز جداازهم داشته باشند