在知识表示、面向对象程序设计与面向对象设计的领域里,is-a(英语:,包含架构)指的是类的父子继承关系,例如类是另一个类的子类(类是类的父类)。
换句话说,通常" "(把包含在内,或是被包含在内)指的是,概念体物是概念体物的特殊化,而概念体物是概念体物的一般化。举例来说,水果是苹果、橘子、芒果与其他水果的一般化。
在面向对象程序设计里,类关系是在继承概念的背景之下所形成的。有一说法是,对于所有水果来说,苹果继承(英语:)所有的属性,就像是肉质多的水果包住种子般。
与两者是不同的对比,是以整体-附属阶层关系所组成的。也可以是的对比:请参考型态与个例的区别。
在真实世界里设计一个模型时(例如计算机程序),尤其是物件与它的下一层从属物件,在与两者的关系上容易产生概念上的错误。