Stably free module/Definition

A module which is close to being free: the direct sum with some free module is free.