Geometric quotient

such that[1] The notion appears in geometric invariant theory.

(i), (ii) say that Y is an orbit space of X in topology.

(iii) may also be phrased as an isomorphism of sheaves

This is proved in Mumford's geometric invariant theory.

A geometric quotient is precisely a good quotient whose fibers are orbits of the group.