在数学中什么是上位知识 数学上位的定义