I want to know what F^n / ~ means, how it is defined. << orbit space of the $S_n$ action on $F^n$ acting by permutation of coordinates.
Then can I put a metric on F^n/~ << you can always put a quotient metric on quotient of metric spaces, which would at least be a pseudometric.