形式逻辑中的从属关系包含两种含义：一种是概念外延间包含与被包含的关系，亦称属种关系。另一种是素材相同的全称肯定判断（A）和特称肯定判断（I）、全称否定判断（E）和特称否定判断（O）间的真假关系，即两者可以同假，也可同真的关系，亦称差等关系（相当于现代逻辑中的蕴涵和反蕴涵关系）。具体说：由全称判断的真，可必然推出特称判断的真；但由全称判断的假，不能必然推出特称判断的假。由特称判断的假，可必然推出全称判断的假；但由特称判断的真，却不能必然推出全称判断的真。