Is-a

在知識表示 、 面向對象程序設計與面向對象設計的領域裏 ， is - a ( 包容 ） 指的是在抽象 （ 比如類別或類型 ） 之間體現的包容關係 。 例如類別D是另一個類別B的子類別 （ 類別B是類別D的父類別 ） ， 則D被包容在B內 。 換句話說 ， 通常 " D is a B " 指的是 ， 概念體D物是概念體B物的特殊化 ， 而概念體B物是概念體D物的廣泛化 。 舉例來說 ， 水果是蘋果 、 橘子 、 芒果與其他水果的廣泛化 。 在面向對象程序設計裏 ， is - a類別關係是在繼承概念的背景之下所形成的 。 比如說 ， 蘋果繼承  水果的所有的屬性 。 is - a對比於has - a ， 後者是以整體 - 附屬階層關係所組成的 。 在真實世界裏設計一個模型時 （ 例如計算機程序 ） ， 尤其是物件與它的下一層從屬物件 ， 在has - a與is - a兩者的關係上容易產生概念上的錯誤 。 is - a還可以是對比於instance - of ， 詳情可參考類型和個例的區別 。