Ordres et définitions inductives - IRIF
Exercice 1 On définit un ordre sur les multi-ensembles finis d'entiers naturels par la fermeture ... (a) {42};{21,21,24, 30}; {12,12, 12,12,21};{2}.
Exercice 1 On définit un ordre sur les multi-ensembles finis d'entiers naturels par la fermeture ... (a) {42};{21,21,24, 30}; {12,12, 12,12,21};{2}.