##  [Injection](/injection-0) 

 Definition

A mapping that sends distinct elements of the domain to distinct elements of the codomain; equivalently, a function f is injective if f(x)=f(y) implies x=y.

 

 

 

 

 

 





## Principle

Principle

Injection enforces uniqueness of images: no two different domain elements collide under the mapping, which allows partial inversion on the image and supports faithful embeddings of structure when additional compatibility conditions hold.

 

 

 

 

 





## Demonstration

Demonstration

The inclusion map i: N → Z given by i(n)=n is injective: each natural number maps to a distinct integer. In linear algebra, an injective linear map has trivial kernel, e.g., an injective linear transformation from R^2 into R^3 embeds R^2 as a two-dimensional subspace.

 

 

 

 

## Misapplication

Misapplication

Assuming injectivity implies invertibility onto the whole codomain; an injective map may not be surjective, so no two-sided inverse exists on the full codomain. Also confusing injective set maps with categorical embeddings that require extra structure preservation (topological embedding, algebraic embedding).

 

 

 

 

 





## Consequence

Consequence

Injectivity guarantees distinct domain elements remain distinguishable in the codomain, enabling left-inverses defined on the image and supporting constructions that rely on faithful representations or embeddings.

 

 

 

 

## Reversal

Reversal

A surjective map that is not injective collapses distinct domain elements to the same codomain element, losing information; such maps are many-to-one and not invertible even on the image uniquely.

 

 

 

 

 





## Boundary

Boundary

Injection is a set-theoretic property independent of surjectivity or other structural conditions; it does not by itself preserve operations, topology, or smoothness unless combined with additional constraints.

 

 

 

 

 





## Semantic Tension

Semantic Tension

Injection is often conflated with embedding or monomorphism in category theory; the tension is whether the map merely separates points (injective) or also respects extra structure and universal properties (embedding/monomorphism).

 

 

 

 

 





## Synthesis

Synthesis

An injection is a function that never maps two distinct inputs to the same output, ensuring one-to-one distinctness and permitting a left-inverse on its image.