Sea formula_140, diremos que formula_133 es inyectiva si se cumple que siempre que formula_142, entonces es formula_143.