- X and the null set are in t.
- Finite or infinite unions of open sets (that is, elements of t) are also in t.
- Finite intersections of open sets are in t.
The complement of a set in t is said to be a 'closed set'.
Element of X may be called 'points'.
A 'neighborhood' of a point x is any open set containing x.
Let M be a subset of X. A point x in X is a 'contact point' of M if every neighborhood of x contains at least one point of M; and x would be a 'limit point' of M if every neighborhood of x contained infinitely many points of M. The set of all contact points of M is the 'closure' of M.
A 'topological space' is a pair of sets (X, t) satisfying the above.
All metric spaces are topological spaces. The sets one would call open in a metric space satisfy the criteria above; one could also label all subsets of X as open for purpose of listing the members of the topology and they would then satisfy the definition above.

