**digraph**if and only if

(1) | $X$ is a D11: Set |

(2) | \begin{equation} \mathcal{E} \subseteq X \times X \end{equation} |

▼ | Set of symbols |

▼ | Alphabet |

▼ | Deduction system |

▼ | Theory |

▼ | Zermelo-Fraenkel set theory |

▼ | Set |

▼ | Binary cartesian set product |

▼ | Binary relation |

▼ | Binary endorelation |

Definition D2696

Digraph

Formulation 0

An D548: Ordered pair $G = (X, \mathcal{E})$ is a **digraph** if and only if

(1) | $X$ is a D11: Set |

(2) | \begin{equation} \mathcal{E} \subseteq X \times X \end{equation} |

Formulation 1

An D548: Ordered pair $G = (X, \mathcal{E})$ is a **digraph** if and only if

(1) | $X$ is a D11: Set |

(2) | $\mathcal{E}$ is a D78: Subset of $X \times X$ |

Children

▶ | Arrow set |

▶ | Collider digraph |

▶ | Confounder digraph |

▶ | Graph-generated digraph |

▶ | Mediator digraph |

▶ | Node set |

▶ | Set of digraphs |

▶ | Subdigraph |