We discuss a formal mathematical framework for certain coupling constructions via minorisation conditions, which are often used to prove bounds on convergence to stationarity of stochastic processes and Markov chain Monte Carlo algorithms.