Topologia porządkowa
Niech będzie jest porządkiem liniowym. dla niech będzie przedziałem otwartym w X. więc rodzina
pokrywa X dodatkowo jest zamknięta na skończone przekroje. przeto też jest bazą pewnej topologii τ na X. Topologię tę nazywamy topologią porządkową czyli gdy niekiedy topologią przedziałową. Topologia porządkowa stale spełnia postulat Hausdorffa (T2) dodatkowo jest nawet przestrzenią T5.[1]