5.3.1 上值的定义