IFT436 ? Algorithmes et structures de données

On vérifie cela en construisant les bijections adéquates, exercice ! On admet que la relation ? est une relation d'ordre total sur les cardinaux3.