有限空间定义、特点还有分类