theorem Th30: :: GLIBPRE0:26

for G being _trivial _Graph
for v being Vertex of G holds
( v .edgesIn() = the_Edges_of G & v .edgesOut() = the_Edges_of G & v .edgesInOut() = the_Edges_of G )