«элемент x' предшествует элементу х', x' < х' », или, что то же, «элемент x' следует за элементом х', x' < х' », причём предполагается выполненным условие транзитивности: если х < x' и x' < х', то х < х'. Множество, рассматриваемое вместе с каким-нибудь установленным в нём порядком, называется «частично упорядоченным множеством»; иногда вместо «частично упорядоченное множество» говорят «упорядоченное множество» (Н. Бурбаки ). Однако чаще упорядоченным множеством называется такое частично упорядоченное множество, в котором порядок удовлетворяет следующим дополнительным требованиям («линейного порядка»): 1) никакой элемент не предшествует самому себе; 2) из всяких двух различных элементов х, x' один предшествует другому, т. е. или х < x' , или x’ < х .
Примеры. 1) Всякое множество 
, элементами которого являются некоторые множества х , является «частично упорядоченным ''по включению''»: х < x' , если х Ì x'.
2) Любое множество функций f , определённых на числовой прямой, частично упорядочено, если положить f 1 < f 2 , тогда и только тогда, когда для каждого действительного числа х имеем f 1 (x ) £ f 2 (x ).
3) Всякое множество действительных чисел линейно упорядочено: меньшее из двух чисел считается предшествующим большему.
Два упорядоченных множества называются подобными между собой, или имеющими один и тот же порядковый тип, если между ними можно установить (1—1)-соответствие, сохраняющее порядок. Элемент упорядоченного множества называется первым, если он предшествует в этом упорядоченном множестве всем остальным элементам; аналогично определяется и последний элемент. Примеры: в упорядоченном множестве всех действительных чисел нет ни первого, ни последнего элемента; в упорядоченном множестве всех неотрицательных чисел нуль есть первый элемент, а последнего элемента нет; в упорядоченном множестве всех действительных чисел x , удовлетворяющих неравенствам а £ х £ b , число а есть первый элемент, b — последний.
Упорядоченное множество называется вполне упорядоченным, если оно само и всякое его правильное подмножество имеют первый элемент. Порядковые типы вполне упорядоченных множеств называются порядковыми, или ординальными, числами. Если вполне упорядоченное множество конечно, то его порядковое число есть обычное порядковое число элементарной арифметики. Порядковые типы бесконечных вполне упорядоченных множеств называются трансфинитными числами .
Точечные множества. Теория точечных множеств, т. е. в первоначальном понимании слова — теория множеств, элементами которых являются действительные числа (точки числовой прямой), а также точки двух-, трёх- и вообще n -мерного пространства, основана Г. Кантором, установившим понятие предельной точки множества и примыкающие к нему понятия замкнутого множества и др. Дальнейшее развитие теории точечных множеств привело к понятиям метрического пространства и топологического пространства , изучением которых занимается общая топология . Наиболее самостоятельное существование ведёт дескриптивная теория множеств. Основанная французскими математиками Р. Бэром и А. Лебегом в связи с классификацией разрывных функций (1905), дескриптивная М. т. началась с изучения и классификации т. н. борелевских множеств (B -множеств). Борелевские множества определяются как множества, могущие быть построенными, отправляясь от замкнутых множеств, применением операций сложения и пересечения в любых комбинациях, но каждый раз к конечному или к счётному множеству множеств. А. Лебег показал, что те же множества — и только они — могут быть получены как множества точек, в которых входящая в Бэра классификацию действительная функция f (x ) обращается в нуль или, более общо, удовлетворяет условию вида а < f
