Si "M" tiene una base libre con "n" elementos, entonces "M" se dice "libre de rango n", o más generalmente "libre de rango finito".