Mae'r erthygl hon yn sôn am set o fertigau wedi'u cysylltu gyda'u hochrau. Am "Graff" (darlun i gynrychioli ffwythiant neu gasgliad o rifau, graff (ffwythiant).

Y diffiniad ffurfiol o graff ym mathemateg yw:

Pâr trefniedig ${\displaystyle G:=(V,E)}$ sy'n bodlonni'r amodau canlynol yw graff :

• Mae ${\displaystyle V}$ yn set feidraidd, fe'i gelwir yn set o fertigau,
• Mae ${\displaystyle E}$ yn set o barau (heb drefn) o fertigau an-hafal, fe'i gelwir yn set o ymylon.

Fe gelwir y ddau fertig sydd wedi eu cynnwys mewn ymyl yn ddiweddbwyntiau'r ymyl hwnnw.

Cywair graff yw ${\displaystyle |V|}$, nifer y fertigau. Maint graff yw ${\displaystyle |E|}$, nifer yr ymylon. Gradd fertig yw nifer y fertigau eraill a gysylltwyd iddo gan fertigau.