数学和物理中经常看到闭型解、求严格的定义.