Topologi
Topologi (dari bahasa Yunani τόπος, "tempat", dan λόγος, "ilmu") merupakan cabang matematika yang bersangkutan dengan tata ruang yang tidak berubah dalam deformasi dwikontinu (yaitu ruang yang dapat ditekuk, dilipat, disusut, direntangkan, dan dipilin, tetapi tidak diperkenankan untuk dipotong, dirobek, ditusuk atau dilekatkan). Karena sifat ini, topologi disebut pula geometri karet. Ia muncul melalui pengembangan konsep dari geometri dan teori himpunan, seperti ruang, dimensi, bentuk, dan transformasi.
Geometri projektif
Sembarang geometri yang diberikan dapat dideduksi dari sehimpunan aksioma-aksioma yang bersesuaian. Geometri projektif dikarakterisasi oleh aksioma "sejajar eliptik", yakni bahwa "dua bidang sembarang selalu bertemu pada hanya satu garis", atau pada suatu bidang, "dua garis sembarang selalu bertemu pada hanya satu titik." Dalam perkataan lain, tidak ada hal-hal seperti garis paralel atau bidang paralel dalam geometri projektif. Banyak himpunan aksioma-aksioma alternatif untuk geometri projektif yang telah diajukan (misalnya lihatlah contoh dalam Coxeter 2003, Hilbert & Cohn-Vossen 1999, Greenberg 1980).