  We introduce a general framework allowing to apply the theory of regularity
structures to discretisations of stochastic PDEs. The approach pursued in this
article is that we do not focus on any one specific discretisation procedure.
Instead, we assume that we are given a scale $\varepsilon > 0$ and a "black
box" describing the behaviour of our discretised objects at scales below
$\varepsilon $.
