Pelabelan γ suatu graf G dengan order atau banyak vertex |V(G)| dan size atau banyak edge |E(G)| didefinisikan sebagai fungsi satu-satu f : V (G) → {0, 1, 2, ..., |E(G)|} yang menghasilkan sebuah pelabelan f ′ : E(G) → ...