劃分定義

劃分定義是將一個大類劃分為若干個小類的定義。外延定義的一種。即傳統邏輯中對概念的劃分。有的邏輯學家認為，雖然它是從外延方面來揭示概念，但仍能起到明確概念的作用，故應包括在定義之中。如“脊椎動物”既可以定義為：“有脊椎骨的動物”，也可以定義為：“包括魚類、兩柄動物、爬行動物、鳥類和哺乳動物。”前者是真實定義，後者是劃分定義。運用劃分定義應遵守“劃分的規則”。

關係定義是屬加種差定義的一種。用揭示被定義概念所反映的事物間關係作為種差而形成的定義。關係定義指出某種關係是被定義概念所反映的事物具有的特有屬性。如：偶數就是能被2整除的數。這裡的種差“能被2整除的”，是偶數與2的一種關係。