Thus, an orbit is a G-invariant subset of X.
Conversely, a G-invariant subset is a union of G-orbits.