Let H and C be sets of functions from domain X to <. We say that H validly generalises C from approximate interpolation if and only if for each η > 0 and , δ ∈ (0, 1) there is m0(η, , δ) such that for any function t ∈ C and any probability distribution P on X, if m ≥ m0 then with Pm-probability at least 1− δ, a sample x = (x1, x2, . . . , xm) ∈ Xm satisfies ∀h ∈ H, |h(xi)− t(xi)| < η, (1 ≤ i ≤ ...