for G being Graph
for e being set st e in the carrier' of G holds
<*e*> is directed Chain of G