An abstract data type is defined as a mathematical model of the data objects that make up a data type as well as the functions that operate on these objects.
Абстрактний тип даних визначається як математична модель об'єктів даних, які становлять тип даних, а також функції, які працюють на цих об'єктах.