Лекция 0, опр-ие 0.4. «Начальным отрезком вполне упорядоченного множества называется отрезок, содержащий минимальный элемент». Отрезок это подмножество. Во вполне упорядоченном множестве любое подмножество имеет минимальный элемент. Таким образом, следуя цитате, во вполне упорядоченном множестве любой отрезок — начальный? Может быть, там не «вполне упорядоченного», а «линейно упорядоченного»?