В этом глоссарии приведены определения основных терминов, используемых в общей топологии. Курсивом выделены ссылки внутри глоссария.
Связное пространство — топологическое пространство, которое не может быть представлено как объединение двух или более непересекающихся непустых открытых подмножеств. Связность является важнейшим топологическим инвариантом и обобщает понятие линейной связности.
Преде́льная то́чка множества в общей топологии — это такая точка, любая проколотая окрестность которой пересекается с этим множеством.
Аксио́мой вы́бора, англ. аббр. AC называется следующее высказывание теории множеств:
Категория Бэра — один из способов различать «большие» и «маленькие» множества. Подмножество топологического пространства может быть первой или второй категории Бэра.
База топологии — семейство открытых подмножеств топологического пространства 
, такое, что любое открытое множество в представимо в виде объединения элементов этого семейства.
Теорема Хелли — классический результат комбинаторной геометрии и выпуклого анализа. Теорема даёт условие на семейство выпуклых множеств, гарантирующее то, что это семейство имеет непустое пересечение.
Выпуклое множество в аффинном или векторном пространстве — множество, в котором все точки отрезка, образуемого любыми двумя точками данного множества, также принадлежат данному множеству.
Разбие́ние мно́жества — это представление его в виде объединения произвольного количества попарно непересекающихся непустых подмножеств.
Легкоплавкие сплавы — это, как правило, эвтектические металлические сплавы, имеющие низкую температуру плавления, не превышающую температуру плавления олова. Для получения легкоплавких сплавов используются свинец, висмут, олово, кадмий, таллий, ртуть, индий, галлий и иногда цинк. За нижний предел температуры плавления всех известных легкоплавких сплавов принимается температура плавления амальгамы таллия (−61 °C), за верхний предел взята температура плавления чистого олова.
Граф Аполло́с Аполло́сович Му́син-Пу́шкин — русский учёный из рода Мусиных-Пушкиных, известный своими трудами в области химии, минералогии, физики и ботаники. Сын А. Э. Мусина-Пушкина, племянник фельдмаршала М. Ф. Каменского.
Гипергра́ф — обобщение графа, в котором каждым ребром могут соединяться не только две вершины, но и любые подмножества множества вершин.
В теории графов графом пересечений называется граф, представляющий схему пересечений семейства множеств. Любой граф можно представить как граф пересечений, но некоторые важные специальные классы можно определить посредством типов множеств, используемых для представления в виде пересечений множеств.
В метрике теории графов выпуклым подграфом неориентированного графа G называется подграф, который включает любой кратчайший путь в G между любыми двумя вершинами. Таким образом, это аналогично определению выпуклого множества в геометрии — такое множество содержит отрезок, соединяющий любые две точки множества.
В математике говорят, что два множества не пересекаются или дизъюнктны, если у них нет общих элементов. Эквивалентно, непересекающиеся множества — это множества, пересечение которых является пустым множеством. Например, {1, 2, 3} и {4, 5, 6} непересекающиеся множества, в то время как {1, 2, 3} и {3, 4, 5} таковыми не являются.
Полный четырёхугольник — это система геометрических объектов, состоящая из любых четырёх точек на плоскости, никакие три из которых не лежат на одной прямой, и шести прямых, соединяющих шесть пар точек. Конфигурация, двойственная к полному четырёхугольнику — полный четырёхсторонник — является системой из четырёх прямых, никакие три из которых не проходят через одну точку, и шести точек пересечения этих прямых. Лахлан для полного четырёхугольника использовал название тетрастигма, а для полного четырёхстронника — тетрагам. Эти термины, хоть и редко, но встречаются в литературе.
Семейство Хелли порядка k — это семейство множеств со свойством, что любое минимальное подсемейство с пустым пересечением имеет k или меньше множеств. Эквивалентно, любое конечное подсемейство со свойством, что любое пересечение k множеств не пусто, имеет непустое общее пересечение.
Пара (B, N) — это структура на группе лиева типа, которая позволяет дать единообразные доказательства многих результатов вместо того, чтобы рассматривать большое количество доказательств по вариантам. Грубо говоря, пара показывает, что все такие группы похожи на полную линейную группу над полем. Пары ввёл математик Жак Титс, а потому они иногда называются системы Титса.
Кликовый граф неориентированного графа G — это другой граф K(G), который представляет структуру клик графа G.
