Axiom (RS*) for functor of quotients

This is not as straightforward as one would have thought.