function from quotient group to orbit, well defines, 1-1, onto

Printable View