Topologi
Sebuah himpunan X disebut sebagai ruang topologi bila memiliki himpunan openset-openset, yang adalah himpunan bagian dari X, yang mendeskripsikan topologi dari himpunan X tersebut. Beda himpunan openset-openset mendeskripsikan beda topologi dari himpunan X.