Assertion: graph's label | /r/HasProperty | unique
Facets:
Source sentences:
text: The second definition is assumed in certain situations when graphs are endowed with unique labels commonly taken from the integer range 1,...,n, where n is the number of the vertices of the graph, used only to uniquely identify the vertices.