: 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 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 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 a tensor a with rank q and dimensions ( i < sub > 1 </ sub >, ..., i < sub > q </ sub >), and a tensor b with rank r and dimensions ( j < sub > 1 </ sub >, ..., j < sub > r </ sub >), their outer product c has rank q + r and dimensions ( k < sub > 1 </ sub >, ..., k < sub > q + r </ sub >) which are the i dimensions followed by the j dimensions.

Given a short exact sequence with maps q and r:

Given a set M of molecules, chemical reactions can be roughly defined as pairs r =( A, B ) of subsets from M.

#( Affine axiom of parallelism ) Given a point A and a line r, not through A, there is at most one line through A which does not meet r.

Given an m × n matrix with real entries ( or entries from any other field ) and rank r, then there exists at least one non-zero r × r minor, while all larger minors are zero.

: Given r

Given two integers a and b, with b ≠ 0, there exist unique integers q and r such that a = bq + r and 0 ≤ r < | b |, where | b | denotes the absolute value of b.

Given an element a and a non-zero element b in a Euclidean domain R equipped with a Euclidean function d, there exist q and r in R such that and either or.

Given a connected graph G =( V, E ) with V the set of vertices and E the set of edges, and with a root vertex r, the level structure is a partition of the vertices into subsets L < sub > i </ sub > called levels, consisting of the vertices at distance i from r. Equivalently, this set may be defined by setting L < sub > 0 </ sub > =

Given the total mass and the scalars r and v at a single point of the orbit, one can compute r and v at any other point in the orbit.

Given the total mass and the scalars r and v at a single point of the orbit, one can compute the specific orbital energy, allowing an object orbiting a larger object to be classified as having not enough energy to remain in orbit, hence being " suborbital " ( a ballistic missile, for example ), having enough energy to be " orbital ", but without the possibility to complete a full orbit anyway because it eventually collides with the other body, or having enough energy to come from and / or go to infinity ( as a meteor, for example ).

Given m functions r

Given the complexity of the calculations involved and the convoluted structure that a convertible bond can have, an arbitrageur often relies on sophisticated quantitative models in order to identify bonds that are trading cheap versus their theoretical value.

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.

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 the rugged terrain of Ngazidja and Nzwani, and the dedication of extensive tracts to agriculture on all three islands, population pressures on Comoros are becoming increasingly critical.

Given an asymmetric subunit on a triangular face of a regular isosahedron, with three subunits per face 60 such subunits can be placed in an equivalent manner.

Given this kind of data, the estimated coefficient on Years of Education in the equation above reflects both the effect of education on wages and the effect of other variables on wages, if those other variables were correlated with education.

* Frederick Douglass lecture on Haiti – Given at the World's Fair in Chicago, January 1893.

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

Given both Einstein's equations and suitable equations for the properties of matter, such a solution consists of a specific semi-Riemannian manifold ( usually defined by giving the metric in specific coordinates ), and specific matter fields defined on that manifold.

Given the difficulty of finding exact solutions, Einstein's field equations are also solved frequently by numerical integration on a computer, or by considering small perturbations of exact solutions.

Given an equilateral triangle, the counterclockwise rotation by 120 ° around the center of the triangle " acts " on the set of vertices of the triangle by mapping every vertex to another one.

Given these, a new term Anthropocene, is specifically proposed and used informally for the latest part of this epoch since approximately synchronous lithospheric evidence, or more recently atmospheric evidence, of human impacts have been found on the Earth and its ecosystems ; these impacts may be considered of global significance for future evolution of living species.

Given that this etymology does not appear in the usual scholarly works on etymology, this claim is usually dismissed as a false etymology.

Given the dual status of science as objective knowledge and as a human construct, good historiography of science draws on the historical methods of both intellectual history and social history.

Given a binary operation ★ on a set S, an element x is said to be idempotent ( with respect to ★) if

Given its heavy dependence on imported energy, Japan has aimed to diversify its sources.

Along with a hand-picked escort led by Given Campbell, Davis and his wife were captured on May 10, 1865, at Irwinville in Irwin County, Georgia.

Given the repeated failures and frustrations of workers ' revolutions and movements, Marx also sought to understand capitalism, and spent a great deal of time in the reading room of the British Museum studying and reflecting on the works of political economists and on economic data.

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 that spinning a Dyson Sphere would result in the atmosphere pooling around the equator, the Ringworld removes all the extraneous parts of the structure, leaving a spinning band landscaped on the sun-facing side, with the atmosphere and inhabitants kept in place through centrifugal force and 1000 mile high perimeter walls ( rim walls ).