Introduction Definitions Directed Graphs Infinite Chains (Def. 1 & Def. 2) When are Def. 1 and Def. 2 equivalent? A fix with the axiom of countable choice Directed Graphs in Applications Softwares Graph Neural Networks Quantum Information Introduction Consider this diagram \[ \begin{array}{ccccc} \bullet & \rightarrow & \bullet\\ \downarrow & & \downarrow\\ \bullet & \rightarrow & \bullet & \rightarrow & \bullet \end{array} \] which consists of vertices (the dots) and arrows between the vertices. That is an example of a directed graph. Definitions Directed Graph A directed graph is a set $V$ with a binary relation $\rightarrow$. By a binary relation we mean a subset of the Cartesian product $V\times…