Forward graininess
From timescalewiki
Let $\mathbb{T}$ be a time scale. The forward graininess function $\mu \colon \mathbb{T}^{\kappa} \rightarrow \mathbb{T}$ is defined by $$\mu(t) = \sigma(t)-t,$$ where $\sigma$ denotes the forward jump operator.
