更改

当超图的顶点被明确标记时，就有了'''“等价 equivalence”'''和'''“相等 equality”'''的概念。 我们称<math>H</math>和<math>G</math>等价，记作：<math>H\equiv G</math> 。如果同构<math>\phi</math> 满足:<math>\phi(x_n) = y_n</math>而且:<math>\phi(e_i) = f_{\pi(i)}</math>

当超图的顶点被明确标记时，就有了'''“等价 equivalence”'''和'''“相等 equality”'''的概念。 我们称<math>H</math>和<math>G</math>等价，记作：<math>H\equiv G</math> 。如果同构<math>\phi</math> 满足:<math>\phi(x_n) = y_n</math>而且：<math>\phi(e_i) = f_{\pi(i)}</math>，则称<math>H</math>和<math>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>。

在这个例子，<math>H</math> 和 <math>G</math>是等价的， <math>H\equiv G</math>，而且两者的对偶图是强同构的：<math>H^*\cong G^*</math>。

在这个例子，<math>H</math> 和 <math>G</math>是等价的， <math>H\equiv G</math>，而且两者的对偶图是强同构的：<math>H^*\cong G^*</math>。

===对称超图 ===

===对称超图 ===