абстрактный тип данных (АТД)

EN: abstract data type (ADT)

Спецификация, что описывает какие операции поддерживаются и что они делают, без указания как. Пример: очередь с приоритетом это АТД что обещает insert, extractMin и peek; двоичная куча это одна реализация.