誘導部分グラフ
正式には、任意のグラフ G = (V, E) と頂点の任意の部分集合 S ⊂ V に対して、誘導部分グラフ G[S] は頂点集合が S であり、辺集合が E の辺で両端点が S に含まれるものすべてとされる。この定義は無向グラフと有向グラフだけでなく、同じ頂点対に複数の辺が存在するものを認めたマルチグラフに対しても同様である。
誘導部分グラフ G[S] はグラフ G をもとにした S による誘導部分グラフや、(G が曖昧ではない場合は)単に S による誘導部分グラフなどとも呼ばれる。