Más formalmente, un módulo izquierdo "Q" sobre el anillo "R" es inyectivo si satisface una de (y por lo tanto todas) las condiciones equivalentes siguientes: