type van een data-structuur met daaraan gekoppeld een aantal procedures om operaties op een waarde van die data-structuur te kunnen uitoefenen, ten einde hetzij gegevens over de in de data-structuur opgeslagen waarde op te vragen, hetzij die waarde op een uiterst gecontroleerde manier te transformeren