Backward graininess

Let $\mathbb{T}$ be a time scale. The backward graininess function $\nu \colon \mathbb{T}^{\kappa} \rightarrow \mathbb{T}$ is defined by $$\nu(t) = t-\rho(t),$$ where $\rho$ denotes the backward graininess.