在、与的领域里，

is-a（：subsumption，包含架构）指的是类的父子继承关系，

例如类D是另一个类B的子类（类B是类D的父类）。

 

换句话说，通常"

D

is a

B"（

B把

D包含在内，或是

D被包含在

B内）指的是，概念体

D物是概念体

B物的 ，而概念体

B物是概念体

D物的一般化。举例来说， 是 、 、 与其他水果的一般化。

在 里，

is-a类关系是在 概念的背景之下所形成的。有一说法是，对于所有水果来说， 继承（ ：

inherit）所有的属性，就像是肉质多的水果包住种子般。

is-a与

has-a两者是不同的对比，是以 - 阶层关系所组成的。也可以是

instance-of的对比：请参考型态与个例的区别。

在真实世界里设计一个模型时（例如 ），尤其是物件与它的下一层从属物件，在

has-a与

is-a两者的关系上容易产生概念上的错误。