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

: Given any set X of pairwise disjoint non-empty sets, there exists at least one set C that contains exactly one element in common with each of the sets in X.

Given that John of Worcester wrote his chronicle after the eruption of the Canterbury – York supremacy struggle, the story of Ealdred renouncing any claims to Worcester needs to be considered suspect.

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

* 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 any topological space X, the continuous real-or complex-valued functions on X form a real or complex unitary associative algebra ; here the functions are added and multiplied pointwise.

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 any expression involving complex numbers, bras, kets, inner products, outer products, and / or linear operators ( but not addition ), written in bra-ket notation, the parenthetical groupings do not matter ( i. e., the associative property holds ).

* Given any combination of complex numbers, bras, kets, inner products, outer products, and / or linear operators, written in bra-ket notation, its Hermitian conjugate can be computed by reversing the order of the components, and taking the Hermitian conjugate of each.

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 that a natural language such as English contains, at any given time, a finite number of words, any comprehensive list of definitions must either be circular or rely upon primitive notions.

Given any vector space V over a field F, the dual space V * is defined as the set of all linear maps ( linear functionals ).

* Given any set X, there is an equivalence relation over the set of all possible functions X → X.

Given a left neutral element and for any given then A4 ’ says there exists an such that.

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 that Gable and Cukor had worked together before, in Manhattan Melodrama and Gable had no objection to working with him then, and given Selznick's desperation to get Gable for Rhett Butler, if Gable had any objections to Cukor, certainly they would have been expressed before he signed his contract for the film.

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 state at some initial time ( t = 0 ), we can solve it to obtain the state at any subsequent time.

We have seen a few cavities of the appropriate size and shape for ivory-bills, but these can be old, or exceptionally large Pileated Woodpecker cavities, or mammal-enlarged Pileated Woodpecker cavities .… Given the results, it is unlikely a population of any meaningful size of Ivory-billed Woodpeckers exists in south Florida.

Given a general algorithm for integer factorization, one can factor any integer down to its constituent prime factors by repeated application of this algorithm.

Given the above-mentioned problems, regulators face the challenging task of regulating a market that is changing very rapidly, without stifling any type of innovation, and without improperly disadvantaging any competitor.

Given that the cost of replacing an executive can run over 100 % of his or her annual salary, any investment of time and energy in re-recruitment will likely pay for itself many times over if it helps a business retain just a handful of key players that would have otherwise left.

: Given any positive number ε, there is a sequence

Given a local coordinate system x < sup > i </ sup > on the manifold, the reference axes for the coordinate system are the vector fields

Given a subset V of P < sup > n </ sup >, let I ( V ) be the ideal generated by all homogeneous polynomials vanishing on V. For any projective algebraic set V, the coordinate ring of V is the quotient of the polynomial ring by this ideal.

Given a coordinate system and a metric tensor, scalar curvature can be expressed as follows

Given a DMS ( Degrees, Minutes, Seconds ) coordinate such as W87 ° 43 ′ 41 ″, convert it to a number of decimal degrees using the following method:

Given a MinDec ( Degrees, Minutes, Decimal Minutes ) coordinate such as 40 ° 26. 7717N, 79 ° 56. 93172W, convert it to a number of decimal degrees using the following method ( for example for 79 ° 56. 93172W ):

Given a decimal longitudinal coordinate such as-87. 728055 it will be necessary to know whether it is a latitudinal or longitudinal coordinate in order to fully convert it.

Given coordinate functions

Using tensor calculus, proper time is more rigorously defined in general relativity as follows: Given a spacetime which is a pseudo-Riemannian manifold mapped with a coordinate system and equipped with a corresponding metric tensor, the proper time experienced in moving between two events along a timelike path P is given by the line integral

: Given such a tangent vector v, let f be the curve given in the x < sup > i </ sup > coordinate system by.

Given below is a chart of trend of profitability of Indian Airlines as published in the 2004 annual report by Ministry of Civil Aviation with figures in millions of Indian Rupees.

Given a chart for a general Riemann surface

Given a theological lead, I asked what he thinks about those who find a religious significance to his plays.

Idealists are skeptics about the physical world, maintaining either: 1 ) that nothing exists outside the mind, or 2 ) that we would have no access to a mind-independent reality even if it may exist ; the latter case often takes the form of a denial of the idea that we can have unconceptualised experiences ( see Myth of the Given ).

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 enough of it, the inhabitants of planet Earth would have nothing to fight about.

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 the same set of verifiable facts, some societies or individuals will have a fundamental disagreement about what one ought to do based on societal or individual norms, and one cannot adjudicate these using some independent standard of evaluation.

Given a syscall that does nothing, a full round-trip under BSD would require about 40μs, whereas on a user-space Mach system it would take just under 500μs.

Given that both A and not-A are seen to be “ true ,” Kant concludes that it ’ s not that “ God doesn ’ t exist ” but that there is something wrong with how we are asking questions about God and how we have been using our rational faculties to talk about universals ever since Plato got us started on this track!

Given the initial energy of 20 TJ, the Space Shuttle is about 16 % energy efficient at launching the orbiter.

Given a parameter or hypothesis about which one wishes to make inference, statistical inference most often uses:

Given Cerion's extensive geographic diversity, Gould later lamented that if Christopher Columbus had only cataloged a single Cerion it would have ended the scholarly debate about which island Columbus had first set foot on in America.

Given concerns about the previous programs using nuclear-tipped interceptors, in the 1980s the U. S. Army began studies about the feasibility of hit-to-kill vehicles, i. e. interceptor missiles that would destroy incoming ballistic missiles just by colliding with them head-on.

Similarly, Hare refers to “ the crude caricature of act utilitarianism which is the only version of it that many philosophers seem to be acquainted with .” Given what Bentham says about second order evils it would be a serious misrepresentation to say that he and similar act utilitarians would be prepared to punish an innocent person for the greater good.

Given current trends in the UMC — with overseas churches growing, especially in Africa, and U. S. churches collectively losing about 1, 000 members a week — it has been estimated that Africans will make up at least 30 % of the delegates at the 2012 General Conference, and it is also possible that 40 % of the delegates will be from outside the U. S. One Congolese bishop has estimated that typical Sunday attendance of the UMC is higher in his country than in the entire United States.

Given a particular wing and its velocity through the air, debates over which mathematical approach is the most convenient to use can be misperceived by novices as differences of opinion about the basic principles of flight.

Given inefficiencies in the heat transfer, the actual NERVA designs were planned to produce about 5 GW, which would make them the largest nuclear reactors in the world.

Given the low efficiency of the laser amplification process ( about 1 to 1. 5 %), and the losses in generation ( steam-driven turbine systems are typically about 35 % efficient ), fusion gains would have to be on the order of 350 just to break even.

Given a gain of about 100 and a laser efficiency of about 1 %, HiPER produces about the same amount of fusion energy as electrical energy was needed to create it.

Given the choice between playing a game at an arcade three or four times ( perhaps 15 minutes of play for a typical arcade game ), and renting, at about the same price, exactly the same game — for a video game console — the console became the preferred choice.