C项中，'数学'的定义被用于构建知识检测系统的理论基础，既是对定义的扩展，又符合实际应用，准确体现了定义扩展与应用的关系。