Graaf

Graaf ${\displaystyle G=(V,E)}$ on järjestatud paar mittetühjast hulgast V ja selle hulga elementide paaride hulgast E.

Hulga V elemente nimetatakse graafi tippudeks ja hulga E elemente graafi servadeks või seosteks. Seostatud tipupaari nimetatakse naabertippudeks. Graafe uurib graafiteooria.