theorem Th67: :: GLIBPRE0:61

for G being _Graph holds G .loops() = dom ((the_Source_of G) /\ (the_Target_of G))