Relative completions

We introduce a relativised version of the regular and exact completion. This is motivated by the fact that the standard constructions are often not applicable in a constructive context. We show that our construction gives more general results, for instance in the study of realizability categories over an arbitrary base topos.