:: deftheorem defines isolated GLIB_000:def 50 :
for G being _finite _Graph
for v being Vertex of G holds
( v is isolated iff v .degree() = 0 );