for G, H being _finite chordal _Graph
for g being perfect VertexScheme of G st G == H holds
g is perfect VertexScheme of H