Assertion: edge contraction | /r/CapableOf | remove edge
Facets:
value: from a graph
type: OTHER
Source sentences:
text: In graph theory, an edge contraction is an operation which removes an edge from a graph while simultaneously merging the two vertices that it previously joined.