定义，是揭示概念内涵的明确概念方式。
概念，是反映事物本质属性、特征的一种思维形式；它有内涵和外延两方面，这两方面成反比（反变）关系，也就是概念内涵越多、越大其外延越小，其内涵越少、越小则其外延越大。
明确概念，通常有四种方法：定义、划分、概括、限制
外延，是概念所指的事物范围
内涵，是概念所反映的事物的本质、内在特征、属性
根据对事物考察的角度不同，同一个事物可能会有不同的概念定义
定义的形式是，被定义项+定义联项+定义项
被定义项，也就是被定义概念
定义联项，也就是表示被定义项和定义项相关联的语词或者符号
定义项，也就是用来揭示被定义概念内涵的概念
被定义项概念和定义项概念，必须外延全同（即：所指事物范围一样大，所指事物为同一事物）
被定义项不能包含在定义项中
被定义概念必须是定义概念中的直接种概念，也就是定义概念必须是被定义概念的直接属概念
因此，定义项等于被定义项的直接属概念加上被定义概念与其所在的直接属概念中的其他直接种概念之间的特征差异；这种与被定义概念所在直接属概念下的其他直接种概念的特征、属性差异，偶们称之为“种差”；因此，定义的形式是：被定义项（即被定义概念）+定义联项+被定义概念的直接属概念及被定义概念与这个直接属概念中其他直接种概念之间的种差。
概括，是将一个概念根据其特征、属性减少概念内涵过渡到其所在上级属概念从而明确此概念的一种明确概念方式，比如由“牛奶”过渡到“奶”，从而明确牛奶和奶这两个概念的属种关系，从而通过明确种概念和属概念之间的关系，来明确种概念的外延范围。但是，概括过程中，种概念的语词并不一定出现在属概念的语词中；也就是说概括过程中属概念和种概念存在的是概念上的属种关系，而不是语词之间的包含被包含关系。
限制，是增加概念内涵从而过渡到其下级子概念的一种明确概念方式；由于外延和内涵的反变关系，所以增加内涵意味着概念外延被缩小，从而得出的概念表示从属于原概念之下表达事物范围更小的子概念，比如奶通过限制法过渡到牛奶
简而言之，概括和限制，是通过明确概念之间的直接上属关系或者直接下属之关系来明确概念的
而属概念和种概念的跨级属种关系，则是通过中间级概念的传递作用实现的，其间（至少）包含了一次推理。比如：铅笔是笔，笔是书写工具，铅笔是书写工具
同样道理，由于考察事物的角度不同，两次概括或限制得出的直接上属或者直接下属概念，可能会有不同。
划分，是通过明确概念的外延（也就是概念所包含的直接下属的同级全体事物的范围）来明确概念的一种形式；是通过列举某概念直接下属的同级事物的全部来明确概念的过程；被划分的概念和划分出的所有直接下属同级子概念，必须在所指事物和范围上全同。比如：奶，有牛奶、羊奶、马奶、人奶，等等。概念划分中的列举，可以有完全列举和不完全列举两种，取决于被划分概念包含事物的情况和划分需要；有些概念无法完全枚举其包含的直接下属同级全部事物，因此偶们常常会看到有“等等”、“诸如此类”这样的表述，这也算概念划分后所指事物和范围是全同的；在数学上，这种情况使用表示共同特征的公式或者表达式来代替列举无法穷尽列举的所有同级共同特征事物。
