:: deftheorem defines .outNeighbors() GLIB_000:def 47 :
for G being _Graph
for v being Vertex of G holds v .outNeighbors() = (the_Target_of G) .: (v .edgesOut());