abstract data type (ADT)
RU: абстрактный тип данных (АТД)
A specification that describes what operations are supported and what they do, without specifying how. Example: a priority queue is an ADT that promises insert, extractMin, and peek; a binary heap is one implementation.