An exact-dimensional measure is a Borel measure 
on Euclidean space 
that is a probability
measure and has a common pointwise dimension
at 
-almost
every point. Explicitly, there is a constant 
such that
 |
for 
-almost
every 
,
where 
is the open ball of radius 
centered at 
(Algom et al. 2026).
