Definisi 1. Misal 𝑋 suatu himpunan dan 𝑇 kumpulan dari subset – subset 𝑋 yang memenuhi
sifat berikut :
a) 𝑋 ∈ 𝑇 dan ∅ ∈ 𝑇.
b) Gabungan dari setiap anggota 𝑇 adalah anggota 𝑇.
c) Irisan dari setiap anggota 𝑇 adalah anggota 𝑇.
Maka 𝑇 disebut suatu topologi untuk 𝑋 dan anggota 𝑇 disebut himpunan buka. Pasangan
terurut (𝑋, 𝑇) disebut ruang topologi.
Contoh 1 :
Perhatikan bahwa,
Tetapi 𝑇2 bukanlah suatu topologi dari 𝑋 karena gabungan dari dua anggota 𝑇2 , {𝑎, 𝑐, 𝑑} ∪
{𝑏, 𝑐, 𝑑} = {𝑎, 𝑏, 𝑐, 𝑑} bukan anggota 𝑇2 , sehingga tidak memenuhi sifat ke-2.
Demikian juga dengan 𝑇3 , {𝑎, 𝑐, 𝑑} ∩ {𝑎, 𝑏, 𝑑, 𝑒} = {𝑎, 𝑑} ∉ 𝑇3 , sifat ke-3 tidak dipenuhi.
Sehingga 𝑇3 bukan topologi dari 𝑋.
Teorema 1. Misal {𝑇𝑖 : 𝑖 ∈ 𝐼} kumpulan dari topologi – topologi himpunan 𝑋. Maka irisan
∩𝑖 𝑇𝑖 juga merupakan topologi 𝑋.
Berikut ini akan diberikan contoh, bahwa gabungan topologi tidak harus suatu topologi.
Contoh 2 :
𝑇1 = {𝑋, ∅, {𝑎}} dan 𝑇2 = {𝑋, ∅, {𝑏}} adalah suatu topologi dari 𝑋 = {𝑎, 𝑏, 𝑐}.
Tetapi 𝑇1 ∪ 𝑇2 = {𝑋, ∅, {𝑎}} ∪ {𝑋, ∅, {𝑏}} = {𝑋, ∅, {𝑎}, {𝑏}} bukan topologi 𝑋 karena
melanggar sifat 2.