La teoria degli ordini è una branca della matematica che studia dei particolari tipi di relazioni binarie, dette ordini e preordini, che inducono sui loro insiemi supporto una struttura che richiama l'idea intuitiva di ordinare gli elementi.