区間の分割
与えられた区間の分割 P に対して、同じ区間の別の分割 Q が P の細分 (refinement) であるとは(他に点が加わっていてもよいから)P の分点をすべて含むときに言う。このとき分割 Q は P より細かい (finer) と言う。また、細かい分割のほうが大きいと定義することにより、与えられた区間上の分割全体の成す集合上に半順序を入れることができる。すなわち、分割 P, Q に対し、その分点からなる集合をそれぞれ P', Q' とすれば、
P ⪯ Q ⟺ P ′ ⊆ Q ′ {\displaystyle P\preceq Q\iff P'\subseteq Q'}
である。二つの分割 P, Q に対して、その共通細分 (common refinement) P ∨ Q を、P, Q の全ての分点をその大きさの順で並べ直して得られる点列として与えることができる。