(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 |