Talk:Orbit is Equivalence Class

This could be a separate result, clarifying that the orbits are the equivalence classes for the Definition:Equivalence Relation Induced by Group Action --barto (talk) (contribs) 17:13, 6 November 2017 (EST)