Assertion: graph's loop | /r/CapableOf | join vertex
Facets:
value: to itself
type: TRANSITIVE-OBJECT
Source sentences:
text: A loop is an edge that joins a vertex to itself.
text: Graphs as defined in the two definitions above cannot have loops, because a loop joining a vertex x is the edge (for an undirected simple graph) or is incident on (for an undirected multigraph) {
text: A loop is an edge that joins a vertex to itself.
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) |
text: Sometimes, graphs are allowed to contain loops, which are edges that join a vertex to itself.
text: A loop is an edge that joins a vertex to itself.
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) |