Diophantine approximation is traditionally the study of how well real numbers are approximated by rationals. We propose a model for studying in an arbitrary totally bounded metric space where rationals replaced with countable hierarchy “well-spread” points, which we refer to as abstract prove various Jarník–Besicovitch type dimension bounds and investigate their sharpness.