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