grafo

Par (C, S) que se constitúe por un conxunto S de elementos e por un conxunto C de liñas que unen os elementos de S (manifestando unha correspondencia de S en si mesma).

Gráfica dunha función.

Teoría que permite tratar graficamente problemas formalmente complexos, e que se  aplica en numerosas ramas das matemáticas (álxebra, combinatoria, topoloxía, alxébrica ou lóxica matemática).