theorem :: GLIB_000:168

for G being _Graph
for X being set holds G .edgesBetween (X,X) = G .edgesBetween X