\begin{definition}[Definition:Orientation (Graph Theory)]
Let $G = \struct {V, E}$ be a simple graph.
Let $H = \struct {V, A}$ be a directed graph.
Then $H$ is an '''orientation''' of $G$ {{iff}} both of the following hold:
:$G$ is a simple digraph. That is, $A$ is antisymmetric.
:$\forall x, y \in V: \paren {\set {x, y} \in E \iff \tuple {x, y} \in A \lor \tuple {y, x} \in A}$
\end{definition}