Assertion: graph | /r/HasProperty | defined in the two definitions
Facets:
Source sentences:
text: Directed graphs as defined in the two definitions above cannot have loops, because a loop joining a vertex x is the edge (for a directed simple graph) or is incident on (for a directed multigraph) (x, x) which is not in {(x, y) |