下定义怎么解