これが多様体Σf{\displaystyle\Sigma_{f}}を与え、この公理はZ(Σf)=TraceΣ(f){\displaystyleZ(\Sigma_{f})={\text{Trace}}\Sigma(f)}ということを意味している。
这样我们得到流形Σf，而公理蕴涵了Z(Σf)=TraceΣ(f){\displaystyleZ(\Sigma_{f})={\text{Trace}}\\Sigma(f)}这里Σ(f)指Z(Σ)上的诱导自同构。