Autrement dit, il existe (xi) i∈I avec xi ∈ I pour tout i ∈ I. Lorsque I est fini, l'implication ci-dessus n'est
liiIiiH'li liri 11" K'iii'lil if'Uli " ilr-i ^M'ii;;i iiplii'n lini !■ Iriiniili in ili i