上导函数

upper derived function