Ketiga aksioma topologi mengikuti hukum prapeta. Kekontinuan \(p\) berlaku langsung dari definisi. Jika \(\sigma\) juga membuat \(p\) kontinu, maka setiap \(U\in\sigma\) memenuhi \(p^{-1}(U)\in\tau\text{,}\) sehingga \(\sigma\subseteq\tau_p\text{.}\)