Una relación formula_20 sobre un conjunto formula_1 reflexiva, antisimétrica y transitiva se dice "relación de orden parcial" (o simplemente un "orden") sobre el conjunto formula_1, y el par formula_154 se dice entonces un "conjunto parcialmente ordenado", o simplemente que es un "conjunto ordenado".