(where \(\rm \small aut\,\phi =1\)  and so \(\mu (\phi )= 1\) ).
We normalise these quantities to give probabilities.
Standard manipulations, see [1]}, show that
\( F(\rho )= \sum _{G \in \widetilde{\mathcal {F}}} \mu (G).\) 
