|{f:f∈S,s∈sym(f)}| ∑ ( 1 - ------------------- ) s∈(sym(Fa)∩sym(Fb)) |S|
|sym(Fa) ΠS sym(Fc)| -------------------- |sym(Fa) ∪ sym(Fc)|
|sym(Fa) ΠS sym(Fc)| -------------------- |sym(Fc)|