theorem Th79: :: GLUNIR00:79

for V being non empty set
for E being Relation of V
for v being Vertex of (createGraph (V,E)) holds {v} |` E = v .edgesIn()