:: deftheorem Def2 defines cod GRAPH_1:def 2 :
for C being MultiGraphStruct
for f being Edge of C holds
( ( not C is void & not C is empty implies cod f = the Target of C . f ) & ( ( C is void or C is empty ) implies cod f = the Vertex of C ) );