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
Veblen hierarchy ordinal numbers ⓘ
Schwarz lemma function maps the unit disk into itself via predicate surface "codomainCondition" ⓘ
Koebe quarter theorem image domain contains a Euclidean disk of radius at least 1/4 via predicate surface "codomainProperty" ⓘ
Grothendieck–Ogg–Shafarevich formula integers (Euler characteristic values) via predicate surface "hasCodomain" ⓘ
Milnor fibration circle S^1 via argument of the function ⓘ
Gelfand representation of commutative C*-algebras C(Δ(A)) ⓘ
Gelfand transform algebra of continuous functions on the maximal ideal space ⓘ
Lambert W function (later named in his honor)
surface form: Lambert W function
complex numbers ⓘ
Wightman correlation functions complex numbers ⓘ
Einstein–Hilbert action real numbers ⓘ
Jordan’s totient functions nonnegative integers ⓘ
Chebyshev functions
surface form: Chebyshev function θ(x)
real numbers ⓘ
Kolmogorov axioms unit interval [0,1] ⓘ
Lagrangian function real numbers ⓘ
Itô integral stochastic processes ⓘ
Itô isometry L² space of random variables ⓘ
Ramanujan tau function integers ⓘ
Schrödinger functional equation in field theory complex numbers ⓘ
Deutsch–Jozsa algorithm single bit via predicate surface "oracleFunctionCodomain" ⓘ
Hilbert–Schmidt operators
surface form: Hilbert–Schmidt operator
Hilbert space ⓘ
Cauchy functional equation real numbers via predicate surface "codomainTypically" ⓘ
Cauchy functional equation abelian group via predicate surface "generalCodomain" ⓘ
Fredholm operator Banach space ⓘ
Fredholm operator Hilbert space ⓘ
Chern character cohomology ⓘ
Chern character rational cohomology ⓘ
families index theorem K-theory of the parameter space ⓘ
Smale horseshoe plane ⓘ
Peano curve [0,1]×[0,1] with the Euclidean topology ⓘ
Closed Graph Theorem codomain is a Banach space via predicate surface "codomainCondition" ⓘ
Lefschetz fibration smooth manifold via predicate surface "hasCodomain" ⓘ
Banach–Mazur distance [1,∞) ⓘ
Banach limit ℝ ⓘ
Banach limit ℂ ⓘ
Banach–Stone theorem C(X) Banach space with sup norm via predicate surface "codomainCondition" ⓘ
Banach–Stone theorem C(Y) Banach space with sup norm via predicate surface "codomainCondition" ⓘ
Banach–Mazur theorem C(K) for some compact metric space K ⓘ
Gleason’s theorem probability measures on projections ⓘ
Kleene numbering partial recursive functions ⓘ
Du Bois-Reymond function real numbers ⓘ
Dirichlet eta function complex numbers ⓘ
Dirichlet kernel real numbers ⓘ
Runge approximation theorem complex numbers ⓘ
Hermite constant positive real numbers ⓘ
Moyal product functions on phase space ⓘ
Borel–Weil theorem holomorphic sections of line bundles ⓘ
Pfaffian form real numbers ⓘ
Nevanlinna–Pick interpolation unit disk ⓘ
Atiyah–Segal axioms category of vector spaces via predicate surface "codomainOfFunctor" ⓘ
Atiyah–Segal axioms category of Hilbert spaces via predicate surface "codomainOfFunctor" ⓘ