设 G=⟨V,E⟩, G1=⟨V1,E1⟩ 如果结点和边都是子集称为子图 和集合一样，有存在点或边有变少，称为 真子图 如果点一样，称为 生成子图 如果把一些点拿出来，把所有在选出的点之间的边都拿出来称为 导出子图