Assertion: graph's g | /r/HasProperty | a host graph
Facets:
value: for a disconnected hypergraph h
type: OTHER
Source sentences:
text: For a disconnected hypergraph H, G is a host graph if there is a bijection between the connected components of G and of H, such that each connected component G' of G is a host of the corresponding H'.