premise: assume that the topological space is finite dimensional
hypothesis: a specific type of topological space is countenance (or smiler, kisser), defined as 'the human face (`kisser' and `smiler' and `mug' are informal terms for `face' and `phiz' is British)' .