for G being _Graph holds
( G is edgeless iff G .size() = 0 )