抽象函数性质