: 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 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 topological space X, denote F the set of filters on X, x ∈ X a point, V ( x ) ∈ F the neighborhood filter of x, A ∈ F a particular filter and the set of filters finer than A and that converge to x.

Given the lower costs in the past and its proximity to Broadway theaters, the neighborhood is a haven for aspiring actors.

Given a case for which the class is unknown, guess that it belongs to the same class as the majority in its immediate neighborhood.

Given an orientable Haken manifold M, by definition it contains an orientable, incompressible surface S. Take the regular neighborhood of S and delete its interior from M. In effect, we've cut M along the surface S. ( This is analogous, in one less dimension, to cutting a surface along a circle or arc.

Given an open and connected neighborhood U of p, a function

Bowle's Halloween Haunted House: Given its status as a castle, it is a tradition for Bowlesmen to redecorate the hall into a haunted mansion every Halloween for the neighborhood children.

* Given a 3-manifold and a link, drilled along is obtained by removing an open tubular neighborhood of from.

Given a topological vector space ( X, τ ) over a field F, S is called bounded if for every neighborhood N of the zero vector there exists a scalar α so that

The exponential map is surjective on the stalks: Given a germ g of an holomorphic function at a point P such that g ( P ) ≠ 0, one can take the logarithm of g in a neighborhood of P. The long exact sequence of sheaf cohomology shows that we have an exact sequence

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 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 the existence of a Godlike object in one world, proven above, we may conclude that there is a Godlike object in every possible world, as required.

Given our formula φ, we group strings of quantifiers of one kind together in blocks:

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 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 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 how little we can know for sure, our focus should be on this earth and life ; beauty, justice, love.

Given any vector space V over K we can construct the tensor algebra T ( V ) of V. The tensor algebra is characterized by the fact:

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 the symmetry of circularly polarized light, we could have in fact selected any other two orthogonal components and found the same phase relationship between them.

Given an evaluation e of variables by elements of M < sub > w </ sub >, we

Given that any proposition containing conjunction, disjunction, and negation can be equivalently rephrased using conjunction and negation alone ( the conjunctive normal form ), we can now handle any compound proposition.

Given any energy eigenstate, we can act on it with the lowering operator, a, to produce another eigenstate with-less energy.

Given two ultrafilters and on, we define their sum by

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

Given a prime, we define the height of, written to be the supremum of the set

Given such possibilities, we can expect TC to be used to suppress everything from pornography to writings that criticize political leaders.

Given a testing procedure E applied to each prepared system, we obtain a sequence of values

Given objects and in an additive category, we can represent morphisms as-by-matrices