，水果是苹果、橘子、芒果与其他水果的广泛化。在面向对象程序设计里，is-a类别关系是在继承概念的背景之下所形成的。比如说，苹果继承（）水果的所有的属性。is-a对比于has-a，后者是以整体-附属阶层关系所组成的。在真实世界里设计一个模型时（例如计算机程序），尤其是物件与它的下一层从属物件，在has-a与is-a两者的关系上容易产生概念上的错误。is-a还可以是对比于instance-of，详情可参考类型和个例的区别。
子类型的例子.子类型确使一个给定的类型被用于替换其他的类型