Halmos defines in his book "Naive Set Theory" that a well-ordered set A is a continuation of a well-ordered set B if
- B is a subset of A
- B is an initial segmemt of A
- the ordering of the elememts in B is the same as the ordering in A.
I do not understand what he means with the second property. Is it that B is an initial segment of some element in A?