  We prove a version of the Hilbert basis theorem in the setting of equivariant
algebraic geometry: given a group G acting on a finite type morphism of schemes
X -> S, if S is topologically G-noetherian, then so is X.
