扩展定义