该图中两端均在该子集的所有边的集合组成的图。
定义.其正式定义为：设图G = (V, E)，令S⊂V，使得S是G的任意顶点子集。则G的导出子图G(S)中，其顶点集为S，边集为G的边集E中两个顶点均属于S的边的集合。该定义适用于无向图，有向图与多重图。导出子图G[S]也可以称为S从G中导出的子图，或者(如果上下文中G没有歧义)S的导出子图。
实例.导出子图的重要类型包括如下内容：
计算.导出子图同构问题是子图同构问题的一种形式，