oui oui on fait ça en math, cours sur la logique et les ensembles. Il a dit que ca avait des applications en info mais bon il a pas développé le sujet.
On en avait besoin pour faire la théorie des relations d´ordre.
Sinon oui j´ai les mêmes définitions