Is-a 在知识表示面向对象程序设计與面向对象设计的領域裡isa英語subsumption包容指的是在抽象比如類別或类型之间體現的包容關係例如類別D是另一個類別B的子類別類別B是類別D的父類別則D被包容在B內換句話說通常D is a B指的是概念體D物是概念體B物的特殊化而概念體B物是概念體D物的广泛化舉例來說水果是苹果橘子芒果與其他水果的广泛化 在面向对象程序设计裡isa類別關係是在繼承概念的背景之下所形成的比如說苹果繼承英語inherit水果的所有的屬性isa對比於hasa後者是以整體附屬階層關係所組成的在真實世界裡設計一個模型時例如计算机程序尤其是物件與它的下一層從屬物件在hasa與isa兩者的關係上容易產生概念上的錯誤isa還可以是對比於instanceof详情可參考类型和个例的区别