Page:Cantor - Sur les fondements de la théorie des ensembles transfinis, trad. Marotte, 1899.djvu/49

R′ est la partie de R qui suit l’élément initial f et se réduit à zéro, dans le cas où R n’a pas d’autre élément que f.

Si nous prenons, par exemple, l’ensemble bien ordonné

F = (a₁, a₂, …, a_ν, …, b₁, b₂, …, b_μ, …, c₁, c₂, c₃)

l’élément a₃ détermine le segment

(a₁, a₂)

et le reste

(a₃, a₄, …, a_{ν + 2}, …, b₁, b₂, …, b_μ, …, c₁, c₂, c₃) ;

l’élément b₁ détermine le segment

(a₁, a₂, …, a_ν, …)

et le reste

(b₁, b₂, …, b_μ, …, c₁, c₂, c₃) ;

enfin l’élément c₂ détermine le segment

(a₁, a₂, …, a_ν, …, b₁, b₂, …, b_μ, …, c₁)

et le reste

(c₂, c₃).

Si A et A′ sont deux segments de F déterminés respectivement par les deux éléments f et f′, tels que

(4)

f′ ≺ f

A′ est un segment de A.

Nous nommerons alors A′ le plus petit et A le plus grand segment de F

(5)

A′ < A.

Dans le même sens nous pouvons dire aussi de A qu’il est plus petit que F.

(6)

A < F.

---