for G being _Graph holds
( G is loopless iff for v, e being object holds not e DSJoins {v},{v},G )