In der objektorientierten Programmierung ( OOP) versteht man unter einem Subtyp speziell einen Objekttyp, der durch Vererbung definiert wird. In objektorientierten Programmiersprachen, in denen die Namen der Klassen auch die entsprechenden Objekttypen bezeichnen, wird durch die Anordnung der Klassen in einer Klassenhierarchie auch eine entsprechende Typhierarchie definiert, in der analog zum Begriff der Subklasse, was der Unterklasse entspricht, der Begriff des Subtyps verwendet wird.