Säännöllinen avaruus on topologinen avaruus, joka toteuttaa seuraavat ehdot:
Jos a ja b ovat mielivaltaisia avaruuden pisteitä, kummallakin on ympäristö, johon toinen ei kuulu. (Tämän ehdon toteuttavia avaruuksia sanotaan T1-avaruuksiksi.) Jos a on mielivaltainen avaruuden piste ja B suljettu joukko, pisteellä a ja joukolla B on erilliset ympäristöt. (Tämän ehdon toteuttavia avaruuksia sanotaan T3-avaruuksiksi.)
Avaruus on siis säännöllinen, jos se on sekä T1- että T3-avaruus. Säännöllisen avaruuden määritelmä on esimerkki separaatioaksioomista.
Katso myös Hausdorffin avaruus Normaali avaruus
Lähteet
Luokka:Topologiset avaruudet