infini (ensemble -) [latin : in, négation ; et finis, limite] (1) :

Un ensemble E est infini si et seulement si il existe une bijection entre E et le complémentaire d'un singleton dans E.

est infini car nn+1 est une bijection entre et \{0}.