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}.