inserting liquid medication or nutrients into the body with a syringe. A person with diabetes may use short needles or pinch the skin and inject at an angle to avoid an intramuscular injection of insulin.
|1.||(mathematics)||injection - 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)||injection - 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,
fst (x,y) = x.
We say that f injects its argument into the data type and fst
projects it out.
, attitude-control rocket
, ballistic capsule
, booster dose
, booster shot
, deep-space ship
, docking maneuver
, drug packet
, ferry rocket
, fuel ship
, hypodermic injection
, jet injection
, lunar excursion module
, lunar module
, manned rocket
, moon ship
, multistage rocket
, narcotic injection
, narcotic shot
, obiter dictum
, parking orbit
, shooting up
, shuttle rocket
, side remark
, soft landing
, space capsule
, space docking
, space rocket
, unlawful entry