1. <mathematics> A function, f : A -> B, is injective or one-one, or is an injection, if and only if

for all a,b in A, f(a) = f(b) => a = b.

I.e. no two different inputs give the same output (contrast many-to-one). This is sometimes called an embedding. Only injective functions have left inverses f' where f'(f(x)) = x, since if f were not an injection, there would be elements of B for which the value of f' was not unique. If an injective function is also a surjection then is it a bijection.

2. <reduction> An injection function is one which takes objects of type T and returns objects of type C(T) where C is some type constructor. An example is

f x = (x, 0).

The opposite of an injection function is a projection function which extracts a component of a constructed object, e.g.

fst (x,y) = x.

We say that f injects its argument into the data type and fst projects it out.

(01 Mar 1995)

initis, inject, injectable, injected < Prev | Next > injection, injection flask, injection mass

Bookmark with: icon icon icon icon iconword visualiser Go and visit our forums Community Forums

<procedure>

The act of forcing a liquid into a part, as into the subcutaneous tissues, the vascular tree or an organ.

Compare: infusion.

Origin: L. Injectio, from inicere = to throw into

(11 Mar 2008)

inject, injectable, injected, injection < Prev | Next > injection flask, injection mass, injection molding

Bookmark with: icon icon icon icon iconword visualiser Go and visit our forums Community Forums