Due grafi G e H si dicono omeomorfi se e solo se esiste un isomorfismo tra due loro suddivisioni di spigoli G' e H'.
In maniera equivalente, si possono definire omeomorfi due grafi G e H se e solo se possono essere ottenuti da uno stesso grafo K mediante due sequenze (finite) di suddivisioni elementari di spigoli.