ABSTRACT DATA TYPE

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