衍生工具的定义