Para los módulos, la propiedad de elevación puede equivalentemente ser expresada como sigue: el módulo "P" es proyectivo si y sólo si para cada homomorfismo de módulos sobreyectivo "f": "M" → "P" existe un homomorfismo de módulos "h": "P" → "M" tal que "fh" = identidad.