如果概念A与概念B之间有真包含关系，外延大的概念A称为( )，外延小的概念B称为种概念。