种差

被定义的概念与其属概念之间差别，用公式表示：被定义概念=种差+邻近的属的概念。其规则有三：一是定义概念和被定义概念的外延必须相等二是定义概念不能直接或间接地包含被定义概念三是定义一般用肯定形式和科学术语。

种属，又称包含于关系、下属关系，是指一个概念的全部外延与另一个概念的部分外延重合的关系。这就是说，在概念a和概念b的关系上，如果所有的a都是b，但有的b不是a，那么a和b这两个概念之间就是种属关系。