Si vous pouvez associer tous les éléments d’un premier ensemble avec tous ceux d’un autre et, ce de manière bi-univoque, alors le nombre d’éléments du premier est égal à celui du second.
"Le génie de Jean-Sébastien Bach tenait en ceci : la clôture de la forme. Avec le cantor de Leipzig, l’art du contrepoint avait été porté à une telle perfection que toute autre écriture contrapuntique était une redite."
Algèbre, Éléments de la vie d'Alexandre Grothendieck