| (i) | $F$ is a D3249: Right-continuous function |
| (ii) | $F$ is a D5321: Standard-isotone basic real function |
| (1) | $\mathbb{R}$ is the D282: Set of real numbers |
| (2) | $\mathcal{S}$ is the D1860: Stieltjes sigma-algebra on $\mathbb{R}$ with respect to $F$ |
| (i) | $F$ is a D3249: Right-continuous function |
| (ii) | $F$ is a D5321: Standard-isotone basic real function |
| (1) | $\mathbb{R}$ is the D282: Set of real numbers |
| (2) | $\mathcal{S}$ is the D1860: Stieltjes sigma-algebra on $\mathbb{R}$ with respect to $F$ |
| ▶ | D1862: Stieltjes measure |