Par exemple, l'espace vectoriel réel des suites réelles est de dimension infinie. Dans un tel espace, il existe des familles libres finies arbitrairement grandes, mais aucune famille génératrice finie.