图 (graph) 是一个二元组 G=(V(G), E(G))．其中 V(G) 是非空集，称为 点集 (vertex set)，对于 V 中的每个元素，我们称其为 顶点 (vertex) 或 节点 (node)，简称 点；E(G) 为 V(G) 各结点之间边的集合，称为 边集 (edge set)．
若 G 为无向图，则 E 中的每个元素为一个无序二元组 (u, v)，称作 无向边 (undirected edge)，简称 边 (edge)，其中 u, v \in V．设e = (u, v)，则 u 和 v 称为 e 的 端点 (endpoint)．
若 G 为有向图，则 E 中的每一个元素为一个有序二元组 (u, v)，有时也写作 u \to v，称作 有向边 (directed edge) 或 弧 (arc)，在不引起混淆的情况下也可以称作 边 (edge)．设 e = u \to v，则此时 u 称为 e 的 起点 (tail)，v 称为 e 的 终点 (head)，起点和终点也称为 e 的 端点 (endpoint)．并称 u 是 v 的直接前驱，v 是 u 的直接后继．
给出图的点集 V(G) 和边集E(G)，问着这个图是否满足图的定义。