Assertion: graph's size | /r/HasProperty | − 1)/2
Facets:
Source sentences:
text: In an undirected simple graph of order n, the maximum degree of each vertex is n − 1 and the maximum size of the graph is n(n − 1)/2.