Assertion: graph's vertex | /r/HasProperty | a module of g
Facets:
Source sentences:
text: That is, each vertex of G / P {\displaystyle G/P} is a module of G, and the adjacencies of these modules are the edges of G / P {\displaystyle G/P} .