Definicja formalna


Porządek liniowy owo ułożenie częściowy   na danym zbiorze  X,  spełniający warunek

.

Parę uporządkowaną nazywa się wtedy zbiorem liniowo uporządkowanym czy również zbiorem w całości uporządkowanym.