1: \begin{abstract}

2: The functional renormalisation group equation is derived in a mathematically rigorous fashion in a framework suitable for the Osterwalder-Schrader formulation of quantum field theory.

3: To this end, we devise a very general regularisation scheme and give precise conditions for the involved regulators guaranteeing physical boundary conditions.

4: Furthermore, it is shown how the classical limit is altered by the regularisation process leading to an inevitable breaking of translation invariance.

5: We also give precise conditions for the convergence of the obtained theories upon removal of the regularisation.

6: \end{abstract}

7: