Abstract In this paper, we define a notion of β-dimensional mean oscillation of functions u : Q 0 ⊂ ℝ d → ℝ {u:Q_{0}\subset\mathbb{R}^{d}\to\mathbb{R}} which are integrable on β-dimensional subsets of the cube Q 0 {Q_{0}} : ∥ u ∥ BMO β ( Q 0 ) := sup Q ⊂ Q 0 inf c ∈ ℝ 1 l ( Q ) β ∫ Q | u - c | 𝑑 ℋ ∞ β , \displaystyle\|u\|_{\mathrm{BMO}^{\beta}(Q_{0})}\vcentcolon=\sup_{Q\subset Q_{% 0}}\inf_{c\in\mathbb{R}}\frac{1}{l(Q)^{\beta}}\int_{Q}|u-c|\,d\mathcal{H}^{% \beta}_{\infty}, where the supremum is taken over all finite subcubes Q parallel to Q 0 {Q_{0}} , l ( Q ) {l(Q)} is the length of the side of the cube Q, and ℋ ∞ β {\mathcal{H}^{\beta}_{\infty}} is the Hausdorff content. In the case β = d {\beta=d} we show this definition is equivalent to the classical notion of John and Nirenberg, while our main result is that for every β ∈ ( 0 , d ] {\beta\in(0,d]} one has a dimensionally appropriate analogue of the John–Nirenberg inequality for functions with bounded β-dimensional mean oscillation: There exist constants c , C > 0 {c,C>0} such that ℋ ∞ β ( { x ∈ Q : | u ( x ) - c Q | > t } ) ≤ C l ( Q ) β exp ( - c t ∥ u ∥ BMO β ( Q 0 ) ) \displaystyle\mathcal{H}^{\beta}_{\infty}(\{x\in Q:|u(x)-c_{Q}|>t\})\leq Cl(Q)% ^{\beta}\exp\biggl{(}-\frac{ct}{\|u\|_{\mathrm{BMO}^{\beta}(Q_{0})}}\biggr{)} for every t > 0 {t>0} , u ∈ BMO β ( Q 0 ) {u\in\mathrm{BMO}^{\beta}(Q_{0})} , Q ⊂ Q 0 {Q\subset Q_{0}} , and suitable c Q ∈ ℝ {c_{Q}\in\mathbb{R}} . Our proof relies on the establishment of capacitary analogues of standard results in integration theory that may be of independent interest.