for G being _Graph st ex v being Vertex of G st v is isolated holds
( G .minDegree() = 0 & G .minInDegree() = 0 & G .minOutDegree() = 0 )