定义,与例题(推倒定义)