for G being Graph
for pe being FinSequence of the carrier' of G st len pe = 1 holds
pe is oriented Simple Chain of G