Assertion: graph's set | /r/HasProperty | a subset of itself
Facets:
Source sentences:
text: A subgraph S of a graph G is a graph whose set of vertices and set of edges are all subsets of G. (Since every set is a subset of itself, every graph is a subgraph of itself.)