:: deftheorem Def12 defines VertexScheme CHORD:def 12 :
for G being _finite _Graph
for b₂ being FinSequence of the_Vertices_of G holds
( b₂ is VertexScheme of G iff ( b₂ is one-to-one & rng b₂ = the_Vertices_of G ) );