Given any element x of X, there is a function f < sup > x </ sup >, or f ( x ,·), from Y to Z, given by f < sup > x </ sup >( y ) := f ( x, y ).

Given x ∈ A, the holomorphic functional calculus allows to define ƒ ( x ) ∈ A for any function ƒ holomorphic in a neighborhood of Furthermore, the spectral mapping theorem holds:

Given a function f of type, currying it makes a function.

Given a function of type, currying produces.

Given the definition of above, we might fix ( or ' bind ') the first argument, producing a function of type.

Given a function f ∈ I < sub > x </ sub > ( a smooth function vanishing at x ) we can form the linear functional df < sub > x </ sub > as above.

Given a subset X of a manifold M and a subset Y of a manifold N, a function f: X → Y is said to be smooth if for all p in X there is a neighborhood of p and a smooth function g: U → N such that the restrictions agree ( note that g is an extension of f ).

Given a vector space V over the field R of real numbers, a function is called sublinear if

Given a complex-valued function ƒ of a single complex variable, the derivative of ƒ at a point z < sub > 0 </ sub > in its domain is defined by the limit

Given a function f of a real variable x and an interval of the real line, the definite integral

Given that estimation is undertaken on the basis of a least squares analysis, estimates of the unknown parameters β < sub > j </ sub > are determined by minimising a sum of squares function

Given a set of training examples of the form, a learning algorithm seeks a function, where is the input space and

Given an arithmetic function, one can generate a bi-infinite sequence of other arithmetic functions by repeatedly applying the first summation.

Given a function ƒ defined over the reals x, and its derivative ƒ < nowiki > '</ nowiki >, we begin with a first guess x < sub > 0 </ sub > for a root of the function f. Provided the function is reasonably well-behaved a better approximation x < sub > 1 </ sub > is

Given a relation, scaling the argument by a constant factor causes only a proportionate scaling of the function itself.

# Composition operator ( also called the substitution operator ): Given an m-ary function and m k-ary functions:

# Primitive recursion operator: Given the k-ary function and k + 2-ary function:

# Minimisation operator: Given a ( k + 1 )- ary total function:

Given a class function G: V → V, there exists a unique transfinite sequence F: Ord → V ( where Ord is the class of all ordinals ) such that

Given two manifolds M and N, a bijective map f from M to N is called a diffeomorphism if both

Given two groups G and H and a group homomorphism f: G → H, let K be a normal subgroup in G and φ the natural surjective homomorphism G → G / K ( where G / K is a quotient group ).

Given a trigonometric series f ( x ) with S as its set of zeros, Cantor had discovered a procedure that produced another trigonometric series that had S ' as its set of zeros, where S ' is the set of limit points of S. If p ( 1 ) is the set of limit points of S, then he could construct a trigonometric series whose zeros are p ( 1 ).

Given f ∈ G ( x * x < sup >- 1 </ sup >, y * y < sup >-1 </ sup >) and g ∈ G ( y * y < sup >-1 </ sup >, z * z < sup >-1 </ sup >), their composite is defined as g * f ∈ G ( x * x < sup >-1 </ sup >, z * z < sup >-1 </ sup >).

Given the laws of exponents, f ( x )

# Given any point x in X, and any sequence in X converging to x, the composition of f with this sequence converges to f ( x )

Given f

Given metric spaces ( X, d < sub > 1 </ sub >) and ( Y, d < sub > 2 </ sub >), a function f: X → Y is called uniformly continuous if for every real number ε > 0 there exists δ > 0 such that for every x, y ∈ X with d < sub > 1 </ sub >( x, y ) < δ, we have that d < sub > 2 </ sub >( f ( x ), f ( y )) < ε.

Given a morphism f: B → A the associated natural transformation is denoted Hom ( f ,–).

Given the space X = Spec ( R ) with the Zariski topology, the structure sheaf O < sub > X </ sub > is defined on the D < sub > f </ sub > by setting Γ ( D < sub > f </ sub >, O < sub > X </ sub >) = R < sub > f </ sub >, the localization of R at the multiplicative system

* Given an R-module M, the endomorphism ring of M, denoted End < sub > R </ sub >( M ) is an R-algebra by defining ( r · φ )( x ) = r · φ ( x ).

Given a vector v in R < sup > n </ sup > one defines the directional derivative of a smooth map ƒ: R < sup > n </ sup >→ R at a point x by

Given a ring R and a proper ideal I of R ( that is I ≠ R ), I is a maximal ideal of R if any of the following equivalent conditions hold:

Given two metric spaces ( X, d < sub > X </ sub >) and ( Y, d < sub > Y </ sub >), where d < sub > X </ sub > denotes the metric on the set X and d < sub > Y </ sub > is the metric on set Y ( for example, Y might be the set of real numbers R with the metric d < sub > Y </ sub >( x, y )

Given a Boolean ring R, for x and y in R we can define

# Given u in W and a scalar c in R, if u = ( u < sub > 1 </ sub >, u < sub > 2 </ sub >, 0 ) again, then cu = ( cu < sub > 1 </ sub >, cu < sub > 2 </ sub >, c0 ) = ( cu < sub > 1 </ sub >, cu < sub > 2 </ sub >, 0 ).

Given a ring R and a unit u in R, the map ƒ ( x ) = u < sup >− 1 </ sup > xu is a ring automorphism of R. The ring automorphisms of this form are called inner automorphisms of R. They form a normal subgroup of the automorphism group of R.

Given a subset S in R < sup > n </ sup >, a vector field is represented by a vector-valued function V: S → R < sup > n </ sup > in standard Cartesian coordinates ( x < sub > 1 </ sub >, ..., x < sub > n </ sub >).

: Given two sets, A and T, of equal size, together with a weight function C: A × T → R. Find a bijection f: A → T such that the cost function:

Given the absolute magnitude, for objects within our galaxy you can also calculate the apparent magnitude from any distance ( in parsecs ):

Given the absolute magnitude, you can also compute apparent magnitude from its parallax:

Given BASIC's straightforward nature, it was a simple matter to type in the code from the magazine and execute the program.

Love and Erlandson continued to pursue with the band, and released the single " Be A Man "— an outtake from the Celebrity Skin sessions — for the soundtrack of the Oliver Stone film Any Given Sunday ( 1999 ).

Given r, the rate of rotation is easy to infer from the constant angular momentum L, so a 2D solution can be easily reconstructed from a 1D solution of this equation.

Given the similarities between the rep proteins of the alphasatellites and the nanoviruses, it is likely that the alphasatellites evolved from the nanoviruses.

) Given a smooth Φ < sup > t </ sup >, an autonomous vector field can be derived from it.

Given that the vast majority of all emeralds are treated as described above, and the fact that two stones that appear visually similar may actually be quite far apart in treatment level and therefore in value, a consumer considering a purchase of an expensive emerald is well advised to insist upon a treatment report from a reputable gemological laboratory.

Given that genes are universal to living organisms, genetics can be applied to the study of all living systems, from viruses and bacteria, through plants and domestic animals, to humans ( as in medical genetics ).

Given two groups (< var > G </ var >, *) and (< var > H </ var >, ), a group isomorphism from (< var > G </ var >, *) to (< var > H </ var >, ) is a bijective group homomorphism from < var > G </ var > to < var > H </ var >.

Given a groupoid in the category-theoretic sense, let G be the disjoint union of all of the sets G ( x, y ) ( i. e. the sets of morphisms from x to y ).

Given a groupoid G, the vertex groups or isotropy groups or object groups in G are the subsets of the form G ( x, x ), where x is any object of G. It follows easily from the axioms above that these are indeed groups, as every pair of elements is composable and inverses are in the same vertex group.

: Given a point ( in terms of its coordinates ) and the direction ( azimuth ) and distance from that point to a second point, determine ( the coordinates of ) that second point.

On poverty, Hoover said that " Given the chance to go forward with the policies of the last eight years, we shall soon with the help of God, be in sight of the day when poverty will be banished from this nation ", and promised, " We in America today are nearer to the final triumph over poverty than ever before in the history of any land ," but within months, the Stock Market Crash of 1929 occurred, and the world's economy spiraled downward into the Great Depression.

Given the Greek fleet's unpreparedness resulting from the premature outbreak of the war, such an early Ottoman attack might well have been able to achieve a crucial victory.

Given MLB's refusal to consider expansion, Kirksey, Cullinan, Smith, and Hofheinz joined forces with would-be owners from other cities and announced the formation of a new league to compete with the established National and American Leagues.

Given the opportunity to get away from the Sultan and visit new lands, he readily accepted.

Given earlier debates by Christian authors about the existence of Jesus, e. g. in Justin Martyr's 2nd century Dialogue with Trypho, it would have been expected that the passage from Josephus would have been used as a component of the arguments.

Given significant distance from the magnetic poles, one can figure which hand is which using a magnetic compass and the sun.

Given printing practices at the time ( which included type-setting from dictation ), no two editions turned out to be identical, and it is relatively rare to find even two copies that are exactly the same.

Given a year to complete the work, Gibson undertook the actual writing out of " blind animal terror " at the obligation to write an entire novel – a feat which he felt he was " four or five years away from ".