Aksioma pemisahan itu apa sih?

Dalam topologi dan bidang-bidang terkait lainnya di matematika, ada beberapa batasan yang sering dibuat seseorang untuk jenis ruang topologi yang ingin dia pertimbangkan. Beberapa dari batasan ini diberikan oleh aksioma pemisahan. Aksioma ini terkadang juga disebut dengan aksioma pemisahan Tychonoff, dari nama  Andrey Tychonoff.

Aksioma pemisahan merupakan aksioma hanya dalam artian bahwa, ketika mendefinisikan gagasan tentang ruang topologi, seseorang dapat menambahkan kondisi ini sebagai aksioma tambahan untuk mendapatkan pengertian yang lebih terbatas tentang apa itu ruang topologi. Pendekatan modern untuk masalah ini adalah untuk menetapkan sekali dan untuk semua aksiomatisasi tentang ruang topologi, kemudian berbicara tentang jenis-jenis ruang topologi.Namun, penggunaan istilah "aksioma pemisahan" sudah menetap. Aksioma pemisahan dilambangkan dengan huruf "T" setelah bahasa jerman Trennungsaxiom, yang berarti "aksioma pemisahan".

Arti yang spesifik dari istilah-istilah yang terkait dengan aksioma pemisahan telah banyak berubah dari waktu ke waktu. Penting untuk memahami definisi yang digunakan penulis untuk setiap kondisi yang mereka disebutkan, guna mengetahui dengan tepat apa yang mereka maksud; terutama saat membaca literatur-literatur yang lebih tua.