premise: assume that the topological space is finite dimensional
hypothesis: a specific type of topological space is generalization (or inductive reasoning, induction), defined as 'reasoning from detailed facts to general principles' .