Graaf
Een graaf G = (V, E) is een geordend paar, waarin V een willekeurige verzameling is en waarin E een multiset bestaande uit multisets van twee al dan niet verschillende elementen uit V.
Uitleg
De elementen van V (Engels: vertex) heten de knopen van de graaf G en de elementen van E (Engels: edge) heten de zijden van G. De knopen die een zijde vormen, heten de eindpunten van de zijde.
Eenvoudige graaf met 6 knopen
Meervoudige graaf met 6 knopen
