下定义练习