9.4.2 定义