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.
Observed surface forms (2)
- codomainCondition ×2
- rankFunctionCodomain ×1
Sample triples (16)
| Subject | Object |
|---|---|
| Conway polynomial | Laurent polynomials in one variable ⓘ |
| Euler’s formula for complex exponentials | unit circle in \mathbb{C} ⓘ |
| Euler’s totient function φ(n) | nonnegative integers ⓘ |
| Gauss map | 2-sphere ⓘ |
| Gauss map | unit sphere ⓘ |
| Gaussian curvature | real numbers ⓘ |
| Janet–Cartan theorem | Euclidean space R^N ⓘ |
| Levi-Civita connection | smooth vector fields ⓘ |
| Minkowski functional | nonnegative real numbers ⓘ |
| Radon–Nikodym derivative | extended real-valued functions ⓘ |
| Riemann curvature tensor | tangent bundle of a manifold ⓘ |
| Riemann integral | real numbers ⓘ |
| Riemann mapping theorem | open unit disk in the complex plane via predicate surface "codomainCondition" ⓘ |
| S-matrix | Hilbert space of asymptotic states ⓘ |
| Whitney approximation theorem | target is a smooth manifold via predicate surface "codomainCondition" ⓘ |
| von Neumann universe | ordinals via predicate surface "rankFunctionCodomain" ⓘ |