Ориентированный псевдограф

, множество вершин которого

, задан описанием по Бержу.
Отображение

, где

– множество всех подмножеств множества

, определено следующим образом:

,

,

,

,

,

,

.
Подграфы графа

описываются как подмножества множества

, при этом подразумевается, что в подграф входят все дуги и петли графа

, инцидентные вершинам, перечисленным в подмножестве.
Тогда сильно связанным подграфом графа

не является подграф …