NOUN
-
(mathematics) any set of points that satisfy a set of postulates of some kind
assume that the topological space is finite dimensional