Prapeta inklusi memenuhi \(i^{-1}(O)=O\cap A\text{.}\) Sifat-sifat umum prapeta memberikan ketiga aksioma topologi. Untuk \(A=\emptyset\text{,}\) keluarga yang diperoleh adalah \(\{\emptyset\}\text{,}\) yaitu topologi tunggal pada himpunan kosong.