La definición de una base libre infinita es similar, aparte que "E" tendrá infinitamente muchos elementos.