injective

Prop 507: .

.