for G being _Graph holds
( G is loopfull iff for v being Vertex of G ex e being object st e DJoins v,v,G )