补函数的概念