更改

当超图的顶点被明确标记时，就有了'''“等价 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>相等，记作：

当超图的顶点被明确标记时，就有了'''“等价 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>相等，记作：

<math>H\equiv G</math>

<math>H\equiv G</math>