Модуль графа

Модуль графа (Module of a graph) — подмножество $\,V'$ вершин графа $\,G$ такое, что для $y \in V \setminus V'$ и $u,v \in V'$ либо ребра $\,(u, y)$ и $\,(v,y)$ оба принадлежат $\,E$ , либо оба не принадлежат $\,E$ . Другими словами, модуль — это такое подмножество вершин, которые смежны с одним и тем же множеством вершин вне модуля.