Projective module

A module $P$ is projective when every map from $P$ through the target of a surjection lifts through that surjection.