Операция, которая при одинаковых входных данных возвращает одинаковый результат и не оказывает внешних эффектов.