abstract data type

ООП абстрактный тип данных (определение типа данных вместе с определенными на нем операциями, а также, возможно, аксиомами, задающими формальные свойства этих операций)