Алгебраи́ческая тополо́гия — раздел топологии, изучающий топологические пространства путём сопоставления им алгебраических объектов, а также поведение этих объектов под действием различных топологических операций.
Топологи́ческое простра́нство — множество, для элементов которого определено, какие из них близки друг к другу. Является центральным понятием общей топологии.
В этом глоссарии приведены определения основных терминов, используемых в общей топологии. Курсивом выделены ссылки внутри глоссария.
Метризуемое пространство — топологическое пространство, гомеоморфное некоторому метрическому пространству. Иначе говоря, пространство, топология которого порождается некоторой метрикой.
Ка́нторово мно́жество — один из простейших фракталов, подмножество единичного отрезка вещественной прямой, которое является классическим примером дисконтинуума в математическом анализе.
Откры́тое мно́жество — это множество, каждый элемент которого входит в него вместе с некоторой окрестностью. Например, внутренность шара является открытым множеством, а шар вместе с границей — не является открытым.
Функтор — особый тип отображений между категориями. Его можно понимать как отображение, сохраняющее структуру. Функторы между малыми категориями являются морфизмами в категории малых категорий. Совокупность всех категорий не является категорией в обычном смысле, так как совокупность её объектов не является классом. Один из способов преодолеть подобные теоретико-множественные трудности — добавление в ZFC независимой от неё аксиомы о существовании недостижимых кардиналов.
То́чка — один из фундаментальных (неопределяемых) математических объектов, свойства которого задаются системой аксиом. Нестрого можно представлять точку как неделимый элемент соответствующего математического пространства, определяемого в геометрии, математическом анализе и других разделах математики. В классической геометрии и в большинстве её обобщений все геометрические фигуры считаются состоящими из точек.
Размерность Лебега или топологическая размерность — размерность, определённая посредством покрытий, важнейший инвариант топологического пространства. Размерность Лебега пространства 
обычно обозначается 
.
Тео́рия разме́рности — часть общей топологии, в которой изучаются размерности — числовые топологические инварианты определённого типа. Размерность определяются тем или иным естественным образом на широком классе топологических пространств. При этом, если есть полиэдр размерность совпадает с числом измерений в смысле элементарной геометрии.
В топологии и связанных разделах математики вполне несвязное пространство — это топологическое пространство, которое не имеет нетривиальных связных подмножеств. В любом топологическом пространстве пустое множество и одноточечные множества — связные. Во вполне несвязном пространстве это единственные связные подмножества.
Лев Абра́мович Тума́ркин — советский математик. Профессор Московского университета (1932), доктор физико-математических наук (1936). Декан механико-математического факультета МГУ (1935—1939 гг.).
Абстрактный клеточный компле́кс — множество с топологией Александрова, в котором неотрицательное целое число, называемое размерностью, присвоено каждой точке. Понятие используется в цифровой топологии для задач анализа двумерных и трёхмерных цифровых изображений. Комплекс называется «абстрактным» потому, что его точки, называемые «клетками», не являются подмножествами хаусдорфова пространства, как это требуется для клеточных комплексов, применяемых в алгебраической топологии и теории гомотопий.
Топология Гротендика — структура на категории, которая делает её объекты похожими на открытые множества топологического пространства. Категория вместе с топологией Гротендика называется ситусом или сайтом.
CW-комплекс — тип топологического пространства с дополнительной структурой, введённый Уайтхедом для удовлетворения нужд теории гомотопий. В литературе на русском языке употребляются также названия клеточное пространство, клеточное разбиение и клеточный комплекс. Класс клеточных комплексов является более широким, чем класс симплициальных комплексов, но в то же время сохраняет комбинаторную природу, которая позволяет производить эффективные вычисления.
Индуктивная размерность — тип определения размерности топологического пространства, основанный на наблюдении, что сферы в Евклидовом пространстве имеют размерность на единицу меньше.
В топологии пространство отрицательной размерности является расширением обычного понятия пространства, допускающего отрицательную размерность.
Асимптотическая размерность метрического пространства — аналог размерности Лебега на большой шкале. Асимптотическая размерность имеет важные приложения в геометрическом анализе и теории индексов.
