for G being _finite _Graph
for S being VertexScheme of G holds len S = card (the_Vertices_of G)