抽象复合函数性质