프로젝티브 모듈의 정의, 동치 조건 및 예시