TOPOLOGICAL SPACE

Definition An object is an <TOPOLOGICAL SPACE> if and only if: it is a <STRUCTURE(math)>; it contains a set of subsets of the principal set, called the 'topology'