( )是通过把一个概念所反映的对象分为若干个小类来揭示这个概念的外延的逻辑方法。它通常是把一个属概念分为若干个种概念。