Celle-çi sera la page de départ pour un cours en ensembles ordonnés finis, si j'arrive à préparer un tels cours. En attendant, elle servira de passerelle vers mes notes.

  * [[toc|]] : Parmi les sujets couvert par Davey & Priestly, et Caspard, Leclerc et Monjardet, que choisir pour un premier cours? Un deuxième?
  * examples (DAV 1.7-1.13)
    * social choice functions
    * (formal) concept analysis
    * order relations on data types
    * partial maps (and total maps)
    * consistency of programs (ch. 9)
    * refining programs
    * intervals in R and exact real arithmetic
    * information orderings
    * semantics and semantic domains (ch 9)
    * theory of fixpoints (ch. 8)