扩展法定义