Assertion: graph's complement | /r/HasProperty | cycle
Facets:
Source sentences:
text: An anti-hole is an induced subgraph of order four whose complement is a cycle; equivalently, it is a hole in the complement graph.