有限空间定义分类