两个具有矛盾关系的概念的外延之和小于属概念的外延。