Bijection

Une application entre deux ensembles qui est à la fois injective et surjective, de sorte que chaque élément du domaine correspond exactement à un élément du codomaine et que tout élément du codomaine est associé à au moins un élément du domaine (ici exactement un).