Given an action of a reductive group on a normal variety, we describe all invariant open subsets admitting a good quotient with a quasiprojective or a divisorial quotient space. We obtain several new Hilbert–Mumford type theorems, and we extend a projectivity criterion of Białynicki-Birula and Święcicka for varieties with semisimple group action from the smooth to the singular case.