(redirected from Bijective)
Also found in: Dictionary, Wikipedia.
Related to Bijective: Injective function


A mapping ƒ from a set A onto a set B which is both an injection and a surjection; that is, for every element b of B there is a unique element a of A for which ƒ (a) = b. Also known as bijective mapping.


A function is bijective or a bijection or a one-to-one correspondence if it is both injective (no two values map to the same value) and surjective (for every element of the codomain there is some element of the domain which maps to it). I.e. there is exactly one element of the domain which maps to each element of the codomain.

For a general bijection f from the set A to the set B:

f'(f(a)) = a where a is in A and f(f'(b)) = b where b is in B.

A and B could be disjoint sets.

See also injection, surjection, isomorphism, permutation.
References in periodicals archive ?
1] and f is vg-irresolute and bijective, then X is vg-[D.
When an isolated good is moved from a to a', there exist bijective mappings between B (a, [r.
8] APA 112 4 S-box [3] S-box Algebraic Bijective Complexity Opt.
c2) [PSI] is a frame for H if and only if dom (S) = H and S is bijective.
Definition 4: f: X[right arrow]Y is called [alpha] g* homeomorphism if f is bijective, f is [alpha] g* irresolute and [f.
The other method to create mixed state where one can have bijective association of observables to each of the states |[[psi].
Bijective relations in Universal Grammar and the syntax of Hausa.
In mathematical manuscripts he defined natural numbers as properties of bijective sets and real numbers as infinite sequences of rational numbers and accomplished a pioneering specification of infinitesimals.
Consequently, f becomes regular and bijective function.
The term invex (for invariant convex) was coined by Craven [13] to signify the fact that the invexity property, unlike convexity, remains invariant under bijective coordinate transformations.
2] are in bijective correspondence with E, whence [absolute value of[T.
3) define a continuous and bijective operator L : X x Y [right arrow] X' x Y' which implies that [C.