二、证定义的确定