Topolojik uzaylar
Topolojik uzaylar, matematiğin Topoloji dalının başlıca uğraş konularıdır. Bir X kümesi ve bu kümenin alt kümelerinin bir kısmını içeren ve aşağıdaki varsayımları sağlayan S kümesinden oluşurlar:
1) \emptyset ve X kümeleri S'nin elemanıdır;
2) S'nin elemanları arasından seçilecek herhangi bir U_{\alpha} koleksiyonu için, \bigcup_{\alpha}U_{\alpha} birleşim kümesi de S'nin bir elemanıdır,
3) S'nin elemanları arasından seçtiğimiz U_1,. ,U_n kümelerinin kesişimi olan \bigcap_{i=1}^n U_i kümesi de S'nin elemanıdır.