: Given any family of nonempty sets, their Cartesian product is a nonempty set.

Given the similarities in the two characters ' names, professions, written works and generally dark subject matter, it is likely that Lovecraft's Alhazred provided the main inspiration for al-Hazir.

Given a field F, the assertion “ F is algebraically closed ” is equivalent to other assertions:

* Given an algebraic number, there is a unique monic polynomial ( with rational coefficients ) of least degree that has the number as a root.

" Given that Thomas Aquinas died six years before Albertus Magnus ' death, this legend as stated is unlikely.

Given Ealdred's known support of Godwin's family, John of Worcester is probably correct.

* Given any Banach space X, the continuous linear operators A: X → X form a unitary associative algebra ( using composition of operators as multiplication ); this is a Banach algebra.

* 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 the other ZF axioms, the axiom of regularity is equivalent to the axiom of induction.

After Christians in Ephesus first wrote to their counterparts recommending Apollos to them, he went to Achaia where Paul names him as an apostle ( 1 Cor 4: 6, 9-13 ) Given that Paul only saw himself as an apostle ' untimely born ' ( 1 Cor 15: 8 ) it is certain that Apollos became an apostle in the regular way ( as a witness to the risen Lord and commissioned by Jesus-1 Cor 15: 5-9 ; 1 Cor 9: 1 ).< ref > So the Alexandrian recension ; the text in < sup > 38 </ sup > and Codex Bezae indicate that Apollos went to Corinth.

Given its " blue-water " bias, the navy is even less inclined to become involved in counterdrug operations than the army or air force.

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 this, the bidding is said to start at the one-level when contracting for a total of seven tricks, at the two-level for eight tricks and so on to the seven-level to contract to take all thirteen tricks.

While tests have been done to support this with fixed pieces of flat metal, the result is inconclusive with respect to the curved armour of the period. Given the following actions of the archers, it seems likely Froissart was correct.

Given a ket of norm 1, the orthogonal projection onto the subspace spanned by is

Given this influence, it is unfortunate that many of the details of his life remain shrouded in mystery, perhaps forever ; even the only known picture of him, shown above, is heavily retouched, with a fake tie painted in by hand.

Given points P < sub > 0 </ sub > and P < sub > 1 </ sub >, a linear Bézier curve is simply a straight line between those two points.

Given the then GDP ($ 7. 095 bln ) of the country, military spending is roughly estimated to be about $ 300 million.

Given some encrypted data (" ciphertext "), the goal of the cryptanalyst is to gain as much information as possible about the original, unencrypted data (" plaintext ").

Given the federal nature of the holiday, celebrating Canada Day can be a cause of friction in the province of Quebec, where the holiday is overshadowed by Quebec's National Holiday, on June 24.

Given that many journeys are for relatively short distances, there is considerable scope to replace car use with walking or cycling, though in many settings this may require some infrastructure modification, particularly to attract the less experienced and confident.

Given such a sweeping definition, it is apparent that cognition is involved in everything a human being might possibly do ; that every psychological phenomenon is a cognitive phenomenon.

Euclid poses the problem: " Given two numbers not prime to one another, to find their greatest common measure ".

Given also a measure on set, then, sometimes also denoted or, has as its vectors equivalence classes of measurable functions whose absolute value's-th power has finite integral, that is, functions for which one has

noted, " Given that the bandwidth for conducting crawls is neither infinite nor free, it is becoming essential to crawl the Web in not only a scalable, but efficient way, if some reasonable measure of quality or freshness is to be maintained.

Given a Hilbert space L < sup > 2 </ sup >( m ), m being a finite measure, the inner product < ·, · > gives rise to a positive functional φ by

Given any two similar polygons, corresponding sides taken in the same sequence are proportional and corresponding angles taken in the same sequence are equal in measure.

Given the potential for sampling biases of individual survey reports, researchers and investors try sometimes to average the values of different index reports into a single aggregated measure of consumer confidence.

When the measure was sent in May to the parliament they said " Given the damage it produces on those rules which allow the life in community, ensure the dignity of the person and equality between sexes, this practice, even if it is voluntary, cannot be tolerated in any public place ".

Given a finite observation set S, one can simply select the measure for all.

Given a subset A of G, the measure can be thought of as answering the question: what is the probability that a random element of G is in A?

Having a measure on G allows us to define integration of bounded functions on G. Given a bounded function, the integral

Given a left-invariant measure, the function is a right-invariant measure.

Given the partial correspondence between the 1-dimensional Hausdorff measure of a compact subset of and its analytic capacity, it might be

Given a σ-finite measure space ( S, Σ, μ ), consider the Banach space L < sup > p </ sup >( μ ).

Given a countably additive measure μ on X, a measurable set is one that differs from a Borel set by a null set.

Given a sequence ( f < sub > n </ sub >) of M-valued measurable functions on some measure space ( X, Σ, μ ), and a measurable subset A of finite μ-measure such that ( f < sub > n </ sub >) converges μ-almost everywhere on A to a limit function f, the following result holds: for every ε > 0, there exists a measurable subset B of A such that μ ( B ) < ε, and ( f < sub > n </ sub >) converges to f uniformly on the relative complement A

Given two objects, A and B, each with n binary attributes, the Jaccard coefficient is a useful measure of the overlap that A and B share with their attributes.

The most recent measure of social dominance orientation ( see SDO-6 above ) focuses on the “ general desire for unequal relations among social groups, regardless of whether this means ingroup domination or ingroup subordination ” ( p. 312 ) Given these changes, Rubin and Hewstone believe that evidence for social dominance theory should be considered “ as supporting three separate SDO hypotheses, rather than one single theory ” ( p. 22 ).

Given a fixed total concentration of one or more species over the measurement time, the scattering signal is a direct measure of the weight-averaged molar mass of the solution, which will vary as complexes form or dissociate.

Given a characteristic functional on a nuclear space A, the Bochner – Minlos theorem ( after Salomon Bochner and Robert Adol ' fovich Minlos ) guarantees the existence and uniqueness of the corresponding probability measure on the dual space, given by

Given a Blum complexity measure and a total computable function with two parameters, then there exists a total computable predicate ( a boolean valued computable function ) so that for every program for, there exists a program for so that for almost all