codomain


Also found in: Dictionary, Wikipedia.

codomain

(theory)
The set of values or type containing all possible results of a function. The codomain of a function f of type D -> C is C. A function's image is a subset of its codomain.
References in periodicals archive ?
Without a verifiable "pre-quantum" picture of reality, the codomain of a QM-interpretative mapping is indefinite, precluding its validation as a real "model" (the absence of a model alone ensures the invariance of quantum mechanics under interpretative variation).
As the codomain of h is recursive and its complement is infinite, there exists a computable bijection [pi] : N [right arrow] N such that [g.
The codomain of this function has a topology much different from the real numbers.
gamma]] [nabla])(a,b) with domain [gamma](a) and codomain [gamma](b).
To avoid this awkward situation we extend the codomain of primitive validation function to the set {0, 1, [epsilon]} and define validation function for each element of the complement of S' [intersection] D in S'.
In Putnam's portrait of the Thomist who has taken the linguistic turn, we are to think of the elements of sentences, subjects and predicates, as the domain, the world as the codomain, and formal identity ("metaphysical" if one is Thomistic, and "logical" if Wittgensteinian) as the mapping function.
the image of [rho] is the composition of the maps: 1 x [rho] with domain K x [DELTA] [n], and codomain K x [[Hom.
It must also be the case that FV(T) [intersection] V = 0, since T occurs in the codomain of [Sigma] and [Sigma] is a [bar]X/V-substitution.
In the mapping from non-negative price space into excess demand space, with zero-degree homogeneity, the image of the unit simplex is also the codomain of the mapping.
Since split epimorphisms are stable under pullbacks, the functor cod : Pt(C) [right arrow] C, which associates with every split epimorphism its codomain, is a fibration, usually called the fibration of points.
So the superscript is one less than the number of tensor factors in the codomain.
The domain and codomain of a morphism s in G are denoted d(s) and c(s) respectively.