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
Naor–Reingold pseudorandom function multiplicative group of a finite field ⓘ
Hecke characters multiplicative group of complex numbers ⓘ
Csiszár f-divergence nonnegative real numbers ⓘ
Witt vectors commutative rings via predicate surface "codomainOfFunctor" ⓘ
Blaschke products
surface form: Blaschke product
complex plane ⓘ
Busemann function real numbers ⓘ
Tate pairing group of roots of unity ⓘ
Tate pairing multiplicative group of the finite field modulo r-th powers ⓘ
Maslov index integers ⓘ
Möbius function {-1,0,1} ⓘ
Beilinson regulator Deligne cohomology NERFINISHED ⓘ
Beilinson regulator absolute Hodge cohomology NERFINISHED ⓘ
Harish-Chandra projection symmetric algebra of a Cartan subalgebra ⓘ
Plancherel theorem for locally compact abelian groups L2(Ĝ) via predicate surface "codomainSpace" ⓘ
Plancherel measure nonnegative real numbers ⓘ
Hodge star operator (n−k)-forms on an oriented Riemannian manifold ⓘ
Paley–Wiener theorem for real reductive groups space of holomorphic functions on a suitable complexified parameter space ⓘ
Whitehead product in homotopy theory
surface form: Whitehead product
π_{n+m-1}(X) ⓘ
Brown representability theorem category of sets via predicate surface "typicalCodomain" ⓘ
Brown representability theorem category of abelian groups via predicate surface "typicalCodomain" ⓘ
Hitchin fibration Hitchin base identified with space of invariant polynomials valued differentials ⓘ
Serre fibration topological space ⓘ
Lax–Milgram theorem dual space of Hilbert space via predicate surface "typicalCodomain" ⓘ
Tutte polynomial bivariate polynomials over integers ⓘ
Fenchel–Nielsen coordinates Euclidean space ⓘ
Arzelà–Ascoli theorem codomain is ℝ via predicate surface "codomainCondition" ⓘ
Arzelà–Ascoli theorem codomain is ℂ via predicate surface "codomainCondition" ⓘ
Arzelà–Ascoli theorem codomain is a metric space via predicate surface "codomainCondition" ⓘ
Clifford’s theorem space of global sections of a line bundle via predicate surface "codomainObject" ⓘ
Schwarz–Pick theorem unit disk ⓘ
Sharkovsky ordering binary relation on natural numbers ⓘ
Godbillon–Vey invariant real numbers ⓘ
Bockstein homomorphism cohomology group ⓘ
Hurewicz homomorphism homology group H_n(X) of a topological space X ⓘ
Springer correspondence pairs of nilpotent orbits and local systems ⓘ
GNS construction Hilbert space representation of a C*-algebra ⓘ
Stone representation theorem topological spaces ⓘ
product logarithm complex numbers ⓘ
Christoffel–Schwarz formula polygonal region in the complex plane ⓘ
Brenier map Euclidean space via predicate surface "hasCodomain" NERFINISHED ⓘ
Whitehead groups
surface form: Whitehead group
abelian group ⓘ