EDB — 2DY

[2DY] A topological space is a pair $(X,𝜏)$ where $X$ is a non-empty set with associated the family $𝜏$ of the open sets, which is called topology.