Definitsioon: programmi priviligeeritud osadele kättesaadav defineeritud struktuuri, väärtuste hulga ja tehetega andmetüüp
Mõiste: limiittüüp
Ülemmõiste: tüüp
Mõiste: limiittüüp
Ülemmõiste: andmetüüp