for G being _Graph
for e being object holds
( e in G .loops() iff ex v being object st e DJoins v,v,G )