Абстрактный тип данных — математическое или логическое описание типа данных на основе его внешне наблюдаемого поведения. Он определяет значения и операции, доступные пользователям, без необходимости знать внутреннюю реализацию.
A mathematical model for data types, where a data type is defined by its behavior (semantics) from the point of view of a user of the data, specifically in terms of possible values, possible operations on data of this type, and the behavior of these operations.