An Etymological Dictionary of Astronomy and Astrophysics

A set X together with a collection of open subsets T that satisfies the three following conditions: 1) The empty set Ø and X are in T. 2) The intersection of a finite number of sets in T is also in T.
3) The union of an arbitrary number of sets in T is also in T.

See also: → topological; → space.