andmestruktuuride klass, mille andmestruktuure kirjeldab võimalike tehete või erijoonte ning nende tehete formaalsete omaduste loetelu koos, kusjuures liidesed on sisemisest teostusest lahus