6.2.2 HAD的定义