codomain

P7031
predicate

Indicates the set of all possible output values that a function or mapping can produce, regardless of which values are actually attained.

Try in SPARQL

All labels observed (14)

Label Occurrences
codomain canonical 155
codomainCondition 11
typicalCodomain 9

Description generation (PDg)

The one-sentence description above was generated by prompting gpt-5.1 with the predicate name and this instruction.

Instruction
Given a predicate that represents a relationship or action between entities, generate a one-sentence description explaining its meaning.  
# Instructions
Focus on describing the relationship, not the entities themselves. 
# Response Format
Begin the description with \' Indicates...\'
Input
Predicate: codomain
Generated description
Indicates the set of all possible output values that a function or mapping can produce, regardless of which values are actually attained.

Sample triples (191)

Subject Object
Thurston norm nonnegative real numbers ⓘ
Leray–Schauder degree integers ⓘ
Karp reductions
surface form: Karp reduction
decision problem ⓘ
Taniyama–Shimura–Weil conjecture normalized newforms of weight 2 and level N via predicate surface "codomainObjects" ⓘ
Galois representations general linear group over a field ⓘ
Galois representations GL_n(Q_l) via predicate surface "typicalCodomain" NERFINISHED ⓘ
Galois representations GL_n(Z_l) via predicate surface "typicalCodomain" ⓘ
Galois representations GL_n(C) via predicate surface "typicalCodomain" ⓘ
Artin reciprocity law Galois group of a finite abelian extension ⓘ
Poisson bracket smooth functions on phase space ⓘ
Casimir operator vector space of a representation ⓘ
Hirzebruch signature theorem integers ⓘ
Kleene star sets of strings over the same alphabet ⓘ
Gale transform dual vector space ⓘ
Bochner integral Banach space ⓘ
Bochner theorem on characteristic functions space of finite positive measures ⓘ
Hausdorff measure extended nonnegative real numbers ⓘ
Hausdorff metric nonnegative real numbers ⓘ
Alexander duality homology groups ⓘ
Alexander duality cohomology groups ⓘ
Kronecker pairing integers ⓘ
Kronecker pairing coefficient ring ⓘ
Kronecker pairing coefficient field ⓘ
Riesz representation theorem vector in the Hilbert space via predicate surface "codomainObject" ⓘ
Yoneda lemma Set-valued functors on C via predicate surface "typicalCodomain" ⓘ
Eilenberg–Steenrod axioms graded abelian groups ⓘ
Eilenberg–Steenrod axioms graded modules ⓘ
Liouville function {-1, 1} ⓘ
Erdős–Wintner theorem real numbers ⓘ
Hurwitz theorem rational approximations ⓘ
shape operator tangent plane of a surface at a point ⓘ
Liouville–von Neumann equation space of density operators on a Hilbert space ⓘ
Cassels–Tate pairing Q/Z ⓘ
modular j-invariant complex numbers ⓘ
Kauffman polynomial Laurent polynomials in two variables ⓘ
Alexander polynomial Z[t,t^{-1}] ⓘ
Stone–Čech compactification compact Hausdorff spaces ⓘ
"Über die Abbildungen der dreidimensionalen Sphäre auf die Kugelfläche" (1931)
surface form: Über die Abbildungen der dreidimensionalen Sphäre auf die Kugelfläche
2-sphere S^2 ⓘ
Lusin–Souslin theorem codomain is a Polish space via predicate surface "codomainCondition" ⓘ
Souslin operation subsets of a topological space ⓘ
Pontryagin duality opposite category of locally compact abelian groups via predicate surface "codomainCategory" ⓘ
Lusternik–Schnirelmann category nonnegative integers ⓘ
Legendre’s formula for valuations of factorials nonnegative integers ⓘ
Lyapunov dimension non-negative real numbers ⓘ
Hilbert symbol multiplicative group {±1} ⓘ
Chebyshev polynomials of the first kind real numbers ⓘ
Herbrand function real numbers ⓘ
Scott continuity complete partial order via predicate surface "typicalCodomain" ⓘ
Scott continuity directed complete partial order via predicate surface "typicalCodomain" ⓘ
Riemann xi function complex numbers ⓘ