**Codomain** — Image of a function f from X to Y. The smaller oval inside Y is the image of f. Y is the Codomain of f. In mathematics, the codomain or target set of a functio … Wikipedia

**codomain** — [ kəʊdə(ʊ)meɪn] noun Mathematics a set that includes all the possible values of a given function … English new terms dictionary

**codomain** — n. Math. a set that includes all the possible expressions of a given function. Etymology: CO 2 + DOMAIN … Useful english dictionary

**Function (mathematics)** — f(x) redirects here. For the band, see f(x) (band). Graph of example function, In mathematics, a function associates one quantity, the a … Wikipedia

**Surjective function** — Onto redirects here. For other uses, see wikt:onto. A surjective function from domain X to codomain Y. The function is surjective because every point in the codomain is the value of f(x) for at least one point x in the domain. In mathematics, a… … Wikipedia

**Bijection, injection and surjection** — In mathematics, injections, surjections and bijections are classes of functions distinguished by the manner in which arguments (input expressions from the domain) and images (output expressions from the codomain) are related or mapped to each… … Wikipedia

**Inverse function** — In mathematics, if fnof; is a function from A to B then an inverse function for fnof; is a function in the opposite direction, from B to A , with the property that a round trip (a composition) from A to B to A (or from B to A to B ) returns each… … Wikipedia

**Binary relation** — Relation (mathematics) redirects here. For a more general notion of relation, see Finitary relation. For a more combinatorial viewpoint, see Theory of relations. In mathematics, a binary relation on a set A is a collection of ordered pairs of… … Wikipedia

**Injective function** — Injective redirects here. For injective modules, see Injective module. An injective function (is not a bijection) … Wikipedia

**Functional predicate** — In formal logic and related branches of mathematics, a functional predicate, or function symbol, is a logical symbol that may be applied to an object term to produce another object term.Functional predicates are also sometimes called mappings ,… … Wikipedia