在知识表示、面向对象程序设计与面向对象设计的领域里，is-a（，包容）指的是在抽象（比如类别或类型）之间体现的包容关系。例如类别D是另一个类别B的子类别（类别B是类别D的父类别），则D被包容在B内。换句话说，通常"D is a B"指的是，概念体D物是概念体B物的特殊化，而概念体B物是概念体D物的广泛化。举例来说，水果是苹果、橘子、芒果与其他水果的广泛化。在面向对象程序设计里，is-a类别关系是在继承概念的背景之下所形成的。比如说，苹果继承（）水果的所有的属性。is-a对比于has-a，后者是以整体-附