В формальном определении: <Структура данных> = {<структура данных> | <элемент данных> | <накопитель данных>} | <альтернатива> | <условное вхождение>|<итерация> лишним является