Théorie des Ordres

L'étude des relations binaires qui codent un ordre (ordres partiels, ordres totaux), leur structure (chaînes, antichaînes, treillis), les applications préservant l'ordre et les propriétés de point fixe et de complétude qui gouvernent les relations hiérarchiques et comparatives.