Definition:Refinement of Finite Subdivision

Definition

Let $\closedint a b$ be a closed interval.

Let $P, Q$ be finite subdivisions of $\closedint a b$.

We say that $Q$ is a refinement of $P$, or that $Q$ is finer than $P$ if and only if:

$P$ is a subset of $Q$.

Sources

• 2013: Donald L. Cohn: Measure Theory (2nd ed.) ... (previous) ... (next): $2.5$: The Riemann Integral