Топологи́ческое простра́нство — множество, для элементов которого определено, какие из них близки друг к другу. Является центральным понятием общей топологии.
В этом глоссарии приведены определения основных терминов, используемых в общей топологии. Курсивом выделены ссылки внутри глоссария.
Мо́щность, или кардина́льное число́, мно́жества — характеристика множеств, обобщающая понятие количества (числа) элементов конечного множества.
Гомеоморфи́зм — непрерывная биекция с непрерывной обратной. Является центральным понятием топологии.
Преде́льная то́чка множества в общей топологии — это такая точка, любая проколотая окрестность которой пересекается с этим множеством.
Тополо́гия Зари́сского, или топология Зариского, — специальная топология, отражающая алгебраическую природу алгебраических многообразий. Названа в честь Оскара Зарисского и, начиная с 1950-х годов, занимает важное место в алгебраической геометрии.
Циклическая группа — группа 
, которая может быть порождена одним элементом a, то есть все её элементы являются степенями a. Математическое обозначение: 
.
Ограниченность в математике — свойство множеств, указывающее на конечность размера в контексте, определяемом категорией пространства.
Теория групп — раздел общей алгебры, изучающий алгебраические структуры, называемые группами, и их свойства. Группа является центральным понятием в общей алгебре, так как многие важные алгебраические структуры, такие как кольца, поля, векторные пространства, являются группами с расширенным набором операций и аксиом. Группы возникают во всех областях математики, и методы теории групп оказывают сильное влияние на многие разделы алгебры. В процессе развития теории групп построен мощный инструментарий, во многом определивший специфику общей алгебры в целом, сформирован собственный глоссарий, элементы которого активно заимствуются смежными разделами математики и приложениями. Наиболее развитые ветви теории групп — линейные алгебраические группы и группы Ли — стали самостоятельными областями математики.
Леммой Гейне — Бореля называется следующий факт, играющий фундаментальную роль в анализе:
- Из всякой бесконечной системы интервалов, покрывающей отрезок числовой прямой, можно выбрать конечную подсистему, также покрывающую этот отрезок.
Орбифолд, или орбиобра́зие, — неформально говоря, это многообразие с особенностями, которые выглядят как фактор евклидова пространства по конечной группе.
Произведение топологических пространств — это топологическое пространство, полученное, как множество, декартовым произведением исходных топологических пространств, и снабжённое естественной топологией, называемой топологией произведения или тихоновской топологией. Слово «естественная» здесь употребляется в смысле теории категорий и означает, что эта топология удовлетворяет некоторому универсальному свойству.
CW-комплекс — тип топологического пространства с дополнительной структурой, введённый Уайтхедом для удовлетворения нужд теории гомотопий. В литературе на русском языке употребляются также названия клеточное пространство, клеточное разбиение и клеточный комплекс. Класс клеточных комплексов является более широким, чем класс симплициальных комплексов, но в то же время сохраняет комбинаторную природу, которая позволяет производить эффективные вычисления.
Индуктивная размерность — тип определения размерности топологического пространства, основанный на наблюдении, что сферы в Евклидовом пространстве имеют размерность на единицу меньше.
Конечное топологическое пространство — топологическое пространство, в котором существует лишь конечное число точек.
K-теория — математическая теория, изучающая кольца, порождённые векторными расслоениями над топологическими пространствами или схемами. В алгебраической топологии эта обобщённая теория когомологий называется топологической K-теорией. В алгебре и алгебраической геометрии соответствующий раздел называется алгебраической K-теорией. Также она играет важную роль в операторных алгебрах и её можно рассматривать как теорию определенных видов инвариантов больших матриц.
Конфигурационное пространство в топологии — множество наборов различных точек заданного топологического пространства.
