Ориентированный гиперграф, оргиперграф

Ориентированный гиперграф, оргиперграф (Directed hypergraph) — пара $\,(N,E),$ где $\,N$ — непустое множество вершин, $\,E$ — множество гипердуг; гипердуга $\,e$ определяется как упорядоченная пара $\,(T,h)$ с $T \subseteq N, \; T \neq \emptyset, \; h \in N;$ $\,h$ называется началом гипердуги $\,e$ и обозначается $\,Head(e),$ $\,T$ называется концом $\,e$ и обозначается $\,Tail(e).$