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.
"Il n'a pas lu le tract qu'il tient à la main et ne le lira pas. Pourtant son nom y figure. Plus tard, quand cela sera trop tard, il ne restera de ce jour que les conséquences. Les causes, elles, seront perdues..."
Algèbre, Éléments de la vie d'Alexandre Grothendieck.