О́бщая тополо́гия — раздел топологии, в котором изучаются понятия непрерывности и предела в наиболее общем смысле.
Топологи́ческое простра́нство — множество, для элементов которого определено, какие из них близки друг к другу. Является центральным понятием общей топологии.
Непреры́вное отображе́ние — отображение из одного пространства в другое, при котором близкие точки области определения переходят в близкие точки области значений.
В этом глоссарии приведены определения основных терминов, используемых в общей топологии. Курсивом выделены ссылки внутри глоссария.
Сепара́бельное пространство — топологическое пространство, в котором можно выделить счётное всюду плотное подмножество.
Метризуемое пространство — топологическое пространство, гомеоморфное некоторому метрическому пространству. Иначе говоря, пространство, топология которого порождается некоторой метрикой.
Компа́ктное простра́нство — определённый тип топологических пространств, обобщающий свойства ограниченности и замкнутости в евклидовых пространствах на произвольные топологические пространства.
Категория Бэра — один из способов различать «большие» и «маленькие» множества. Подмножество топологического пространства может быть первой или второй категории Бэра.
База топологии — семейство открытых подмножеств топологического пространства 
, такое, что любое открытое множество в представимо в виде объединения элементов этого семейства.
Паракомпактное пространство — топологическое пространство, в любое открытое покрытие которого можно вписать локально конечное открытое покрытие.
Норма́льное простра́нство — топологическое пространство, удовлетворяющее аксиомам отделимости T1, T4, то есть такое топологическое пространство, в котором одноточечные множества замкнуты и любые два непересекающихся замкнутых множества отделимы окрестностями (то есть содержатся в непересекающихся открытых множествах).
Первая аксиома счётности ― понятие общей топологии. Топологическое пространство удовлетворяет первой аксиоме счётности, если система окрестностей всякой его точки обладает счётной базой.
Многообра́зие — локально евклидово пространство.
Леммой Гейне — Бореля называется следующий факт, играющий фундаментальную роль в анализе:
- Из всякой бесконечной системы интервалов, покрывающей отрезок числовой прямой, можно выбрать конечную подсистему, также покрывающую этот отрезок.
Вторая аксиома счётности ― понятие общей топологии. Топологическое пространство удовлетворяет второй аксиоме счётности, если оно обладает не более чем счётной базой.
Теорема Линделёфа — ряд результатов, установленных финским математиком Лоренцем Линделёфом или его сыном топологом Эрнстом Линделёфом:
- Теорема Линделёфа — утверждение комплексного анализа о существовании и свойствах непрерывного продолжения конформной функции.
- Теорема Линделёфа о многограннике — геометрический результат, согласно которому среди всех выпуклых многогранников трёхмерного евклидова пространства с данными направлениями граней и с данным объёмом наименьшую площадь поверхности имеет многогранник, описанный вокруг шара.
- Первая теорема Линделёфа — общетопологическое утверждение о том, что множество всех точек конденсации пространства со второй аксиомой счётности не более, чем счётно.
- Вторая теорема Линделёфа — общетопологический результат о том, что во всяком открытом покрытии пространства со второй аксиомой счётности можно выделить не более, чем счётное подпокрытие.
Теорема Алекса́ндера о предбазе — теорема общей топологии, устанавливающая критерий компактности топологического пространства.
Произведение топологических пространств — это топологическое пространство, полученное, как множество, декартовым произведением исходных топологических пространств, и снабжённое естественной топологией, называемой топологией произведения или тихоновской топологией. Слово «естественная» здесь употребляется в смысле теории категорий и означает, что эта топология удовлетворяет некоторому универсальному свойству.
