如果一个概念的外延包含着另一个概念的全部外延，并且这另一个概念的全部外延仅仅构成前一概念的外延的一部分，那么前一概念与后一概念在外延间具有真包含关系。如“学生”与“大学生”的关系就是真包含关系，即“学生”真包含“大学生”。由于“学生”相对于“大学生”而言为属概念，“大学生”为种概念，故真包含关系亦可称为属种关系。
