la extensión indefinida,