theorem :: GLIBPRE1:17

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