Assertion: graph's dual | /r/HasProperty | edge
Facets:
value: exactly
type: DEGREE
Source sentences:
text: This can be seen as a form of the Jordan curve theorem: each simple cycle separates the faces of G into the faces in the interior of the cycle and the faces of the exterior of the cycle, and the duals of the cycle edges are exactly the edges that cross from the interior to the exterior.