father::图 即一个图, 且满足以下条件:

  1. 顶点集合包含于父图
  2. 边集集合包含于父图