for G being _Graph holds
( G is loopless iff VertexAdjSymRel G is irreflexive )