Topological Space

An ordered pair (X,τ), where X is a set and τ is a collection of subsets of X satisfying:

1. The empty set (∅) and X belong to τ
2. Any arbitrary (in)finite union of members of τ still belongs to τ
3. The intersection of any finite number of members of τ still belongs to τ