非正式法定义