:: deftheorem defines endvertex GLIB_000:def 51 :
for G being _Graph
for v being Vertex of G holds
( v is endvertex iff ex e being object st
( v .edgesInOut() = {e} & not e Joins v,v,G ) );