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 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 two metric spaces ( X, d < sub > X </ sub >) and ( Y, d < sub > Y </ sub >), where d < sub > X </ sub > denotes the metric on the set X and d < sub > Y </ sub > is the metric on set Y ( for example, Y might be the set of real numbers R with the metric d < sub > Y </ sub >( x, y )

* Given a positive real number ε, an ε-isometry or almost isometry ( also called a Hausdorff approximation ) is a map between metric spaces such that

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

Given a Riemannian manifold with metric tensor, we can compute the Ricci tensor, which collects averages of sectional curvatures into a kind of " trace " of the Riemann curvature tensor.

Given a specified distribution of matter and energy in the form of a stress – energy tensor, the EFE are understood to be equations for the metric tensor, as both the Ricci tensor and scalar curvature depend on the metric in a complicated nonlinear manner.

Given a sequence ( X < sub > n </ sub >, p < sub > n </ sub >) of locally compact complete length metric spaces with distinguished points, it converges to ( Y, p ) if for any R > 0 the closed R-balls around p < sub > n </ sub > in X < sub > n </ sub > converge to the closed R-ball around p in Y in the usual Gromov – Hausdorff sense.

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

is also true in the case of compact manifolds, due to Yau's proof of the Calabi conjecture: Given a compact, Kähler, holomorphically symplectic manifold ( M, I ), it is always equipped with a compatible hyperkähler metric.

Given the frame field, one can also define a metric by conceiving of the frame field as an orthonormal vector field.

Given the inverse of the metric tensor above, the explicit form of the kinetic energy operator in terms of Euler angles follows by simple substitution.

Given a metric space ( X, d ), or more generally, an extended pseudoquasimetric ( which will be abbreviated xpq-metric here ), one can define an induced map d: X × P ( X )→ by d ( x, A ) = inf

Given a metric space a point is called close or near to a set if

Given a metric on a Lorentzian manifold, the Weyl tensor for this metric may be computed.

Given two tangent vectors u and v at a point x in M, the metric can be evaluated on u and v to give a real number:

Given a manifold M, one looks for the longest product of systoles which give a " curvature-free " lower bound for the total volume of M ( with a constant independent of the metric ).

Given an arbitrary Riemannian metric g on an almost complex manifold M one can construct a new metric g ′ compatible with the almost complex structure J in an obvious manner:

Given two such associative unital K-algebras A and B, a unital K-algebra morphism f: A → B is a ring morphism that commutes with the scalar multiplication defined by η, which one may write as

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:

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.

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