Топологическое пространство - множество с дополнительной структурой определённого типа (так называемой топологией).
Такой структурой является система подмножеств данного множества (назовём её $\Large T$) обладающая следующими свойствами: