määritelmä tietotyyppi, jonka määrittely muodostuu toisen tietotyypin määrittelystä, jota tarkennetaan lisätiedolla
huomautus Tietotyyppiä, joka on määrittelyltään alityypin kanssa yhdenmukainen mutta jonka määrittelyä alityypin määrittelyssä tarkennetaan, kutsutaan ylityypiksi. Alityypin määrittelyssä ei tarvitse toistaa ylityypin määrittelyä.
Esimerkiksi tietotyypit ”sisävesitie” ja ”meritie” ovat tietotyypin ”vesitie” alityyppejä.