for G being _Graph holds
( G is loopless iff G .loops() = {} )