Määritelmä. Suuntaamattomat G = (X, E, Ψ) ja G' = (X', E', Ψ') ovat isomorfiset (merkitään G ≅ G'),
jos on olemassa sellaiset bijektiot f : X → X' ja g : E → E', että kaikilla e ∈ E ja x, y ∈ X

[ Ψ(e) = {x, y}  ]  ⇔   [ Ψ'(g(e)) = {f(x), f(y)}  ].

Olkoot G ja H kaksi äärellistä verkkoa. Seuraavat ehdot ovat isomorfisuudelle välttämättömiä:
Jos G ≅ H, verkoissa on

a) sama määrä solmuja,
b) sama määrä kaaria,
c) sama määrä kunkin asteluvun omaavia solmuja,
d) samat määrät tietynpituisia (suljettuja) ketjuja tai polkuja,
e) sama määrä yhtenäisiä ja vahvasti yhtenäisiä komponentteja, ja jokaista verkon G
komponenttia vastaa sen kanssa verkkona isomorfinen verkon H komponentti, joille pätevät
kohdat a) - d).

Nämä ominaisuudet eivät suinkaan riitä isomorfisuuden osoittamiseen, mutta niitä voidaan käyttää
osoitettaessa, että kaksi verkkoa eivät ole isomorfisia.