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

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