Graaf
Graaf G = ( V , E ) {\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.