Описание задачи потокового анализа
Определение полурешетки абстрактных объектов
WIP: уточнение анализа