Абстрактное нотация для записи определений функций. Смотреть что такое "Абстракт Абстрактный тип данных пример