Se dice que formula_20 es una "relación de orden (parcial) estricto", o simplemente que es un "orden estricto", sobre un conjunto formula_1, si formula_20 es irreflexiva, antisimétrica y transitiva.