En un conjunto ordenado, uno puede definir muchos tipos especiales de subconjuntos basados en el orden dado.