换了个形式定义方法