injective function
injection *
one-to-one function

There is no injective function from X to the set of natural numbers.

In mathematical terms, it is a total injective function.

A monomorphism is a generalization of an injective function in category theory.

This and other analogous injective functions from substructures are sometimes called natural injections.

An injective function is an injection.

It is typically used to show that an algorithm produces optimal results by proving the existence of a particular injective function.

For this purpose, one abstractly defines a field extension as an injective function ring homomorphism between two fields.

There is an injective function from meandric to open meandric numbers:

The injective function used in this attack is a pairing and there are some applications in cryptography that make use of them.

An injective function is often called one-to-one because there is only one way to reach any one element in the range.

An injective function which is a homomorphism between two algebraic structures is an embedding.

The update rule is an injective function, that is, there are no two configurations that both map to the same common configuration.

Given an injective function from any set to a metric space , defines a metric on .

The image of a continuous, injective function from R to higher-dimensional R is said to be a parametric surface.

The class of sets where the embeddings are injective functions and the amalgam is simply the union of the two sets.

The three resulting constants are abbreviated L, B, and A (for injective functions), respectively.

Proof: The restriction of an injective function to a subset of its domain is still injective.

In classical mathematics, every injective function f necessarily has a left inverse; however, this may fail in constructive mathematics.

There is an injective function f : N A, where N denotes the set of all natural numbers.

An injective function, or an injection is a function in math that does not map more than one element from its domain to its codomain.

The invariance of domain theorem states that a continuous and locally injective function between two n-dimensional topological manifolds must be open.

Functions which satisfy property (4) are said to be "one-to-one functions" and are called injections (or injective functions).

An admissible ordinal is called nonprojectible if there is no total -recursive injective function mapping into a smaller ordinal.

In mathematics, it can be shown that every function can be written as the composite of a surjective function followed by an injective function.

A has cardinality greater than or equal to the cardinality of B if there exists an injective function from B into A.