Definition

A directed graph (or digraph) is a Graph in which edges are ordered pairs of nodes. Each edge has a source node and a target node, establishing a direction from one to the other.

In a directed graph , the edge set consists of ordered pairs where .

Properties

  • Edges have direction, typically represented by arrows in visualizations.
  • An edge is distinct from .
  • The outgoing edges from a node are those edges that start at that node.
  • The incoming edges to a node are those edges that end at that node.