Ordinamento parziale
una relazione binaria su un insieme S è un ordinamento parziale, se gode delle proprietà riflessiva, antisimmetrica e transitiva
(S, _), con _ ordinamento parziale su S
a è un limite superiore (upper bound) di X, se _ x _ X, x _ a
a è un limite inferiore (lower bound) di X, se _ x _ X, a _ x
a è il minimo limite superiore (least upper bound) di X, se
- a è un limite superiore di X
- _ b limite superiore di X, a _ b
a è il massimo limite inferiore (greatest lower bound) di X, se
- a è un limite inferiore di X
- _ b limite inferiore di X, b _ a
il minimo limite superiore ed il massimo limite inferiore, se esistono, sono unici e si indicano con lub(X) e glb(X)