数学分类的定义是什么