cardlang:Cardinal
ensem:thorie des ensembles 1
injsurj:Injectivit; surjectivit
unionint:Union; intersection et complmentaire
