La teoría del orden es el estudio de conjuntos parcialmente ordenados, finitos e infinitos.