Subtyypit
Subtyypit ovat kantatyypin alaisia luokkia tai arvoja. Subtyypin arvojen on oltava kelvollisia myös kantatyypin arvoina, jolloin niitä voidaan käyttää substituutioina tilanteissa, joissa odotetaan kantatyypin ilmaisua. Subtyping mahdollistaa polymorfian sekä turvallisen uudelleenkäytön ja mallintamisen.
Ohjelmoinnissa subtyping tarkoittaa, että subtyyppi voidaan korvata kantatyypillä, jolloin subtyyppinen arvo voidaan sijoittaa paikkaan, jossa odotetaan
Biologiassa subtyypit viittaavat geneettisesti eriytyneisiin alaryhmiin, kuten virus- tai bakteerikantoja. Erot periytyvät, ja ne voivat vaikuttaa
Muita alueita, kuten tietotekniikka ja tiedonmallinnus, käyttävät subtyyppejä pyrkien tarkentamaan malleja säilyttäen kantatyypin ominaisuudet. Subtypingin vastakohta