Given a field F, the assertion “ F is algebraically closed ” is equivalent to other assertions:

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 a smooth Φ < sup > t </ sup >, an autonomous vector field can be derived from it.

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 a field K, the corresponding general linear groupoid GL < sub >*</ sub >( K ) consists of all invertible matrices whose entries range over K. Matrix multiplication interprets composition.

Given a vector space V over the field R of real numbers, a function is called sublinear if

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 that science continually seeks to adjust its theories structurally to fit the facts, i. e., adjusts its maps to fit the territory, and thus advances more rapidly than any other field, he believed that the key to understanding sanity would be found in the study of the methods of science ( and the study of structure as revealed by science ).

Given the currently keen interest in biotechnology and the high levels of funding in that field, attempts to exploit the replicative ability of existing cells are timely, and may easily lead to significant insights and advances.

Given the union's commitment to international solidarity, its efforts and success in the field come as no surprise.

Given two affine spaces and, over the same field, a function is an affine map if and only if for every family of weighted points in such that

Given that this is a plane wave, each vector represents the magnitude and direction of the electric field for an entire plane that is perpendicular to the axis.

Given a bounded sequence, there exists a closed ball that contains the image of ( is a subset of the scalar field ).

Given a vector space V over a field K, the span of a set S ( not necessarily finite ) is defined to be the intersection W of all subspaces of V which contain S. W is referred to as the subspace spanned by S, or by the vectors in S. Conversely, S is called a spanning set of W.

Given any such interpretation of a set of points as complex numbers, the points constructible using valid compass and straightedge constructions alone are precisely the elements of the smallest field containing the original set of points and closed under the complex conjugate and square root operations ( to avoid ambiguity, we can specify the square root with complex argument less than π ).

Given a subset S in R < sup > n </ sup >, a vector field is represented by a vector-valued function V: S → R < sup > n </ sup > in standard Cartesian coordinates ( x < sub > 1 </ sub >, ..., x < sub > n </ sub >).

Given a differentiable manifold M, a vector field on M is an assignment of a tangent vector to each point in M. More precisely, a vector field F is a mapping from M into the tangent bundle TM so that is the identity mapping

Given a core geometry, the B field needed for a given force can be calculated from ( 2 ); if it comes out to much more than 1. 6 T, a larger core must be used.

Given such a field, an absolute value can be defined on it.

Given a locally compact topological field K, an absolute value can be defined as follows.

Given a grid point field of geopotential height, storm tracks can be visualized by contouring its average standard deviation, after the data has been band-pass filtered.

Given an algebraically closed field A containing K, there is a unique splitting field L of p between K and A, generated by the roots of p. If K is a subfield of the complex numbers, the existence is automatic.

Given a separable extension K ′ of K, a Galois closure L of K ′ is a type of splitting field, and also a Galois extension of K containing K ′ that is minimal, in an obvious sense.

: 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 a groupoid in the category-theoretic sense, let G be the disjoint union of all of the sets G ( x, y ) ( i. e. the sets of morphisms from x to y ).

Given the widespread expansion in the tenth revision, it is not possible to convert ICD-9 data sets directly into ICD-10 data sets, although some tools are available to help guide users.

: Given two sets, there is a set whose members are exactly the two given sets.

Given a topological space X, a base for the closed sets of X is a family of closed sets F such that any closed set A is an intersection of members of F.

Given any topological space X, the zero sets form the base for the closed sets of some topology on X.

: Given two sets, A and T, of equal size, together with a weight function C: A × T → R. Find a bijection f: A → T such that the cost function:

Given that X, Y, and Z are sets of attributes in a relation R, one can derive several properties of functional dependencies.

Given a family of sets X < sub > i </ sub > the product is defined as

Given a presheaf, a natural question to ask is to what extent its sections over an open set U are specified by their restrictions to smaller open sets V < sub > i </ sub > of an open cover of U. A presheaf is separated if its sections are " locally determined ": whenever two sections over U coincide when restricted to each of V < sub > i </ sub >, the two sections are identical.

: Given a vector space V, any two linearly independent generating sets ( in other words, any two bases ) have the same cardinality.

Given this wide availabity of icon tools and icon sets, a problem can arise with custom icons which are mismatched in style to the other icons included on the system.

Given two sets we say is many-one reducible to and write

Given two partially ordered sets A and B, the lexicographical order on the Cartesian product A × B is defined as

Given an index set I, and open sets U < sub > i </ sub > contained in X, the nerve N is the set of finite subsets of I defined as follows:

Given of a monoid M of every strings over some alphabet, one may define sets that consist of formal left or right inverses of elements in S. These are called quotients, and one may define right or left quotients, depending on which side one is concatenating.

Given a perfect graph G, Lovász forms a graph G * by replacing each vertex v by a clique of t < sub > v </ sub > vertices, where t < sub > v </ sub > is the number of distinct maximum independent sets in G that contain v. It is possible to correspond each of the distinct maximum independent sets in G with one of the maximum independent sets in G *, in such a way that the chosen maximum independent sets in G * are all disjoint and each vertex of G * appears in a single chosen set ; that is, G * has a coloring in which each color class is a maximum independent set.