for G being Graph
for pe, qe being FinSequence of the carrier' of G st rng qe c= rng pe holds
vertices qe c= vertices pe