Assertion: graph's number | /r/HasProperty | a one-to-one correspondence
Facets:
value: between those of h
type: OTHER
value: between the vertices of g
type: LOCATION
Source sentences:
text: Two graph G and H are isomorphic if H can be obtained from G by relabeling the vertices - that is, if there is a one-to-one correspondence between the vertices of G and those of H, such that the number of edges joining any pair of vertices in G is equal to the number of edges joining the corresponding pair of vertices in H.