图是由顶点的有穷且非空集合和顶点之间边的集合组成，表明了元素与元素之间是多对多的关系。通常表示为：G（V，E），其中G表示一个图，V是图G中顶点的集合，E是图G中边的集合。
需要注意的是：
- 线性表中把数据元素叫做元素，树中的数据元素叫结点，在图中数据元素，称为顶点。
- 线性表可以没有元素，称为空表，树中可以没有结点，称为空树。但是图中不允许没有顶点。
- 线性表中的各元素是线性关系，树中各元素是层次关系，而图中各顶点的关系是用边来表示。
- 线性表中元素之间满足唯一的线性关系，树结构中，元素之间是层次关系，图结构中，节点之间的关系是任意的，图中任意两个元素之间都可能相关联。
如果图中任意两个顶点之间的边是无向边（没有方向的边），则该图称为无向图。
无向图描述两个顶点之间的关系为(V1,V2)。
如果图中任意两个顶点之间的边都是有向边（有方向的边），则该图称为有向图。在有向图中，从一个顶点出发的边数称为该点的出度，而指向一个顶点的边数称为该点的入度。
有向图描述两个顶点之间的关系为<V1, V2>。
由于图结构中顶点之间的关系是用线来表示，因此(V1,V2)还可以用来表示无向图中连接V1和V2的线，又称为边。同样<V1,V2>也用来表示有向图中从V1到V2带方向的线，称为弧。
- 无向完全图：在无向图中，如果任意两个顶点都存在边，则该图为无向完全图。
- 有向完全图：在有向图中，如果任意两个顶点之间都存在互为相反方向的两条弧，则该图为有向完全图。
有向图中，带方向的线（边）称为弧。
- 弧尾：在有向图中，无箭头一端的顶点称为弧尾。
- 弧头：在有向图中，有箭头一端的顶点称为弧头。
顶点的度是指图中与Vi相关联的边的条数。对于有向图来说有入度和出度。有向图顶点的度等于该顶点入度和出度之和。
- 入度：指向一个顶点的边数称为入度。
- 出度：从一个顶点出发的边数称为出度。
图中习惯使用VR表示图中所有顶点之间关系的集合。
无论是有向图还是无向图，从一个顶点到另一个顶点途径的所有顶点组成的序列（包含这两个顶点），称为一条路径。如果路径中第一个顶点和最后一个顶点相同，则称此路径为回路。
在此基础上，若路径中各顶点都不重复，此路径称为简单路径。若回路中顶点互不重复，此回路称为简单回路（简单环）。
在有些场景中，可能会为图中的每条边赋予一个实数表示一定的含义，这种与边（或弧）相匹配的实数称为权，而带权的图通常称为网。