Из обсуждения:
Предложение. Пусть $M$ --- конечное линейно упорядоченное множество. Тогда $M$ --- вполне упорядоченное множество.
