:: deftheorem defines isolated GLIB_000:def 49 :
for G being _Graph
for v being Vertex of G holds
( v is isolated iff v .edgesInOut() = {} );