更改

且有结论：<math>H\equiv G</math>当且仅当 <math>H^* \cong G^*</math>。

且有结论：<math>H\equiv G</math>当且仅当 <math>H^* \cong G^*</math>。

超图'''自同构 automorphism'''是从顶点集到自身的同构，也就是顶点的重标号。 超图 <math>{H }</math>(= (''<math>X </math>'',&nbsp;''<math>E</math>''))的自同构集合是超图的群 group，称为超图的'''自同构群 automorphism group'''，并写成 <math>{Aut(H)}</math>。

超图'''自同构 automorphism'''是从顶点集到自身的同构，也就是顶点的重标号。 超图 <math>{H }</math>= (''<math>X </math>'',&nbsp;''<math>E</math>'')的自同构集合是超图的群 group，称为超图的'''自同构群 automorphism group'''，并写成 <math>{Aut(H)}</math>。