application à la fois injective et surjective qui établit entre les éléments de deux ensembles une correspondance telle que tout élément de l'un a un correspondant et un seul dans l'autre.
« Dans ces parages de l'aisance, on voudrait tant que tout fût pour le mieux dans le meilleur des mondes » (Aragon). « Mieux » et « meilleur » sont ici :