什么是成立函数(3个结果)
什么是成立函数