9.7.2 定义