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
Janet–Cartan theorem Euclidean space R^N ⓘ
S-matrix Hilbert space of asymptotic states ⓘ
Minkowski functional nonnegative real numbers ⓘ
von Neumann universe ordinals via predicate surface "rankFunctionCodomain" ⓘ
Levi-Civita connection smooth vector fields ⓘ
Riemann curvature tensor tangent bundle of a manifold ⓘ
Gauss map unit sphere ⓘ
Gauss map 2-sphere ⓘ
Conway polynomial Laurent polynomials in one variable ⓘ
Gaussian curvature real numbers ⓘ
Riemann integral real numbers ⓘ
Riemann mapping theorem open unit disk in the complex plane via predicate surface "codomainCondition" ⓘ
Radon–Nikodym derivative extended real-valued functions ⓘ
Whitney approximation theorem target is a smooth manifold via predicate surface "codomainCondition" ⓘ
Euler’s formula for complex exponentials unit circle in \mathbb{C} ⓘ
Euler’s totient function φ(n) nonnegative integers ⓘ
Gödel numbering syntactic expressions of a formal language ⓘ
Hardy–Littlewood maximal function measurable functions ⓘ
Kronecker delta {0,1} ⓘ
Heaviside step function {0,1} ⓘ
Weierstrass approximation theorem real-valued function via predicate surface "codomainCondition" ⓘ
Weierstrass function real numbers ⓘ
Weierstrass factorization theorem representations as infinite products ⓘ
topological quantum field theory category of vector spaces ⓘ
Lefschetz operator space of differential forms on a Kähler manifold ⓘ
Lie algebra representation endomorphism algebra of a vector space ⓘ
Lie algebra representation Lie algebra of linear operators on a vector space ⓘ
Lie bracket Lie algebra ⓘ
linked to: Lie algebras
Gamma function complex numbers ⓘ
Poincaré map lower-dimensional surface ⓘ
Weingarten map tangent space of a surface at a point ⓘ
Jones polynomial Laurent polynomials in a variable q^{1/2} ⓘ
Jones polynomial Laurent polynomials in a variable t^{1/2} ⓘ
Legendre symbol {-1,0,1} ⓘ
HOMFLY-PT polynomial Laurent polynomials in two variables ⓘ
Alexandrov compactification compact topological space ⓘ
Jacobi symbol {-1,0,1} ⓘ
Dirac delta function space of distributions ⓘ
Hicksian demand consumption bundles ⓘ
Boltzmann collision operator functions of molecular velocity ⓘ
Riemann–Siegel theta function real numbers ⓘ
Hardy Z-function ℝ ⓘ
Cauchy sequence metric space ⓘ
Ackermann function non-negative integers ⓘ
Weil cohomology graded commutative algebra ⓘ
Weil cohomology finite-dimensional graded vector space ⓘ
Weil pairing roots of unity ⓘ
Weil pairing multiplicative group of the base field extension ⓘ
Harish-Chandra isomorphism Weyl group–invariant polynomials on a Cartan subalgebra ⓘ
Harish-Chandra character formula distributions on the group ⓘ