: 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 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.

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 a simple, binary component feed, analytical methods such as the McCabe-Thiele method or the Fenske equation can be used.

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 these connotations, dandyism can be seen as a political protestation against the rise of levelling egalitarian principles, often including nostalgic adherence to feudal or pre-industrial values, such as the ideals of " the perfect gentleman " or " the autonomous aristocrat ", though paradoxically, the dandy required an audience, as Susann Schmid observed in examining the " successfully marketed lives " of Oscar Wilde and Lord Byron, who exemplify the dandy's roles in the public sphere, both as writers and as personae providing sources of gossip and scandal.

Given good circumstances one might be able to discern the result of some human activity such as the changing of the Netherlands ' coast or the partial drying out of the Aral Sea, but even that would not be easy.

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 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 a set S with a partial order ≤, an infinite descending chain is a chain V that is a subset of S upon which ≤ defines a total order such that V has no least element, that is, an element m such that for all elements n in V it holds that m ≤ n.

Given the toleration of Hinduism, such imperial leeway was not shocking.

Given a complete set of axioms ( see below for one such set ), modus ponens is sufficient to prove all other argument forms in propositional logic, and so we may think of them as derivative.

Given the need for such fine regulation of Ca < sup > 2 +</ sup > signaling, it is perhaps unsurprising that dysregulated mitochondrial Ca < sup > 2 +</ sup > has been implicated in several neurodegenerative diseases, while the catalogue of tumor suppressors includes a few that are enriched at the MAM.

Given its continental origin as a fragment of Zealandia, unlike many of the islands of the Pacific such as the Hawaiian chain, New Caledonia is not of geographically recent volcanic provenance.

* Named entity recognition ( NER ): Given a stream of text, determine which items in the text map to proper names, such as people or places, and what the type of each such name is ( e. g. person, location, organization ).

Given a base for the topology, in order to prove convergence of a net it is necessary and sufficient to prove that there exists some point x, such that ( x < sub > α </ sub >) is eventually in all members of the base containing this putative limit.

Given a field ordering ≤ as in Def 1, the elements such that x ≥ 0 forms a positive cone of F. Conversely, given a positive cone P of F as in Def 2, one can associate a total ordering ≤< sub > P </ sub > by setting x ≤ y to mean y − x ∈ P. This total ordering ≤< sub > P </ sub > satisfies the properties of Def 1.

Given Poseidon's connection with horses as well as the sea, and the landlocked situation of the likely Indo-European homeland, Nobuo Komita has proposed that Poseidon was originally an aristocratic Indo-European horse-god who was then assimilated to Near Eastern aquatic deities when the basis of the Greek livelihood shifted from the land to the sea, or a god of fresh waters who was assigned a secondary role as god of the sea, where he overwhelmed the original Aegean sea deities such as Proteus and Nereus.

Given a preorder on S one may define an equivalence relation ~ on S such that a ~ b if and only if a b and b a.

Given X such that

Given that the authors were the primary developers of the Unix operating system, it is natural that QED had a strong influence on the classic UNIX text editors ed, sed and their descendants such as ex and sam.

Given that in such a case pits the freedom of an innocent child against the freedom of the evil-doer, it is not clear why God would not intervene for the sake of the child.