定义12.4.1