Assertion: undirected graph | /r/PartOf | the class
Facets:
Source sentences:
text: More formally, a graph property is a class of graphs with the property that any two isomorphic graphs either both belong to the class, or both do not belong to it.