x herhangi bir küme, t ise x kümesinin altkümelerinin bir kısmından oluşan bir küme olsun. eğer t aşağıdaki koşulları sağlıyorsa t'ye x'in üzerinde bir topoloji denir:
1)boşküme ve x, t'nin elemanları olmalıdır.
2)t'nin herhangi sayıda elemanının (x'in altkümesi olarak) birleşimi yine t'nin elemanı olmalıdır.
3)t'nin sonlu sayıda elemanının kesişimi yine t'nin elemanı olmalıdır.
bu koşulların sağlanması durumunda t ile donatılmış x kümesine bir topolojik uzay denir.
matematik bölümünün en kastıran dersi olmakla birlikte, okulun uzamasına sebep olabilecek derstir. sayfalarca teorem ve ispatlarını ezberlemek zorundasınızdır. ve bu teoremler yüzünden acınılacak duruma gelmişsinizdir.