当且仅当凡 a 都是 b ，并且有 b 不是 a ，则概念 A 与概念 B 为真包含于关系。换句话说，真包含于关系就是一个概念的全部外延与另一个概念的部分外延相重合的关系。例如：
上述三对概念，每一对都是真包含于关系。拿“大学生”与“学生”这两个概念来说，凡大学生都是学生，但是有的学生不是大学生，这样，“大学生”对“学生”的关系，就是真包含于关系。
两个概念之间的真包含于关系，可用右边的欧拉图（图2-3）表示。
图2-3
传统逻辑将真包含关系与真包含于关系统称为属种关系。在需要将二者加以区别时，也可以分别称之为属种关系与种属关系。
属种关系的两个概念，外延较大的叫作属概念，外延较小的叫作种概念。例如“学生”与“大学生”这两个概念，“学生”的外延大于“大学生”的外延，“学生”就是“大学生”的属概念，“大学生”是“学生”的种概念。
属概念与种概念是相对而言的。例如“学生”相对于“大学生”而言，它是属概念；相对于“人”而言，则“学生”又是“人”的种概念了。
在思维与语言中，属种关系的概念一般不能并列使用。如“市委书记深入基层，调查了解群众生活服务事业、食堂、幼儿园办得怎么样”，这里把“群众生活服务事业”这个属概念和它的种概念“食堂”“幼儿园”并列在一起使用，造成了混淆属种界限的逻辑错误。
在某些特定情况下，为了既突出重点又顾及全面，也有特意将种概念与属概念并列使用的，这时，属概念前应冠以“一切”“所有”之类的量词。例如：
诗人、画家和所有的文艺工作者都应当深入生活。
