A '''topological space''' is a pair (''X'', ''T''), where ''X'' is a [[set]], and ''T'' is a collection of subsets of ''X'' that satisfy the following 3 [[axiom]]s: | A '''topological space''' is a pair (''X'', ''T''), where ''X'' is a [[set]], and ''T'' is a collection of subsets of ''X'' that satisfy the following 3 [[axiom]]s: |