Assertion: graph's hole | /r/HasProperty | induced subgraph of order
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.