Misalkan graf = ( , ), Pelabelan product cordial adalah pelabelan titik biner
: ( ) ? {0, 1} yang menginduksi pelabelan sisi
?
: ( ) ? {0, 1} dengan
?( , ) = ( ). ( ), ? , ? ( ) sehingga memenuhi syarat
(0) ? (1) ? 1 dan (0) ? (1) ? 1, dengan (0), (1), (0), (1)
berturut - turut menyatakan banyaknya titik yang berlabel 0, banyaknya titik yang
berlabel 1, banyaknya sisi yang berlabel 0 dan banyaknya sisi yang berlabel 1.
Path gabungan dari graf G adalah graf yang diperoleh dengan menambahkan sisi
antara dan untuk = 1, 2,., ? 1 , dimana , ,., , ? 2 dengan