定义是明确概念内涵的逻辑方法。