Séance de cours
Cette séance de cours couvre le concept d'ordonnancements partiels, définissant une relation sur un ensemble comme réflexive, antisymétrique et transitive. Il explore des exemples d'ordonnancements partiels sur des entiers, des relations de divisibilité et des ensembles de pouvoir. La séance de cours introduit également les treillis, qui sont des ensembles partiellement ordonnés avec les limites supérieures les moins élevées et les limites inférieures les plus élevées, et discute des commandes lexicographiques sur les produits cartésiens.