В формальном определении: <Контекстная диаграмма> = {<подсистема>} {<внешняя сущность>} {<накопитель данных>} {<информационный поток>} лишним является {<внешняя сущность>}, {<информационный поток>}, {<накопитель данных>}, {<подсистема>}