Il s'agit du module consacré aux ensembles ordonnés et aux treillis leurs applications contemporaines. Il reconnaît le rôle de plus en plus important de la théorie de l'ordre sur la scène mathématique et s'adresse aux étudiants en mathématiques et aux professionnels des domaines adjacents, notamment la logique, les mathématiques discrètes et l'informatique.