Название для опред. подмножества вершин графа

[arseniiv]

Пусть у нас есть псевдоорграф (рёбра направленные, возможны петли), для определённости конечный. Положим $I_0$ множеством всех стоков графа и $I_{n+1}$ — объединением $I_n$ и множества всех вершин $v$ таких, что для всякого ребра $(v, w)$ верно $w\in I_n$. Как называется $\lim I$? По-моему я что-то такое где-то видел, и конструкция видится довольно полезной (у меня она тоже вылезла не сама по себе).

Для удобства можете рассматривать обратный граф (истоки вместо стоков и т. п.), мне сгодится хоть так.

-- Вт ноя 12, 2019 01:12:02 --

(То есть наверняка это что-то весьма известное, а меня просто замкнуло.)


UPD: А, мне нужна была в итоге чуть более хитрая конструкция, где просто графа уже мало.