Assertion: graph's edge | /r/RelatedTo | two distinct vertices
Facets:
Source sentences:
text: x ≠ y} a set of edges (also called links or lines), which are unordered pairs of vertices (that is, an edge is associated with two distinct vertices).
text: x ≠ y} an incidence function mapping every edge to an unordered pair of vertices (that is, an edge is associated with two distinct vertices).
text: (i.e., an edge is associated with two distinct vertices).
text: x ≠ y} an incidence function mapping every edge to an ordered pair of distinct vertices (i.e., an edge is associated with two distinct vertices).
text: (i.e., an edge is associated with two distinct vertices).
text: x ≠ y} an incidence function mapping every edge to an ordered pair of distinct vertices (i.e., an edge is associated with two distinct vertices).