Matematik. Modern matematikte uzaylar bazı ek yapıya sahip kümeler olarak tanımlanır. Bunlar genellikle yerel olarak Öklid uzayına yakın olan ve özelliklerin büyük ölçüde manifoldun üzerinde bulunan noktaların yerel bağlılığı üzerinde tanımlandığı farklı manifold türleri olarak tanımlanır.