:: deftheorem defines AcyclicPaths GRAPH_5:def 9 :
for G being Graph
for v1, v2 being Element of G
for V being set holds AcyclicPaths (v1,v2,V) = { p where p is oriented Simple Chain of G : p is_acyclicpath_of v1,v2,V } ;