Given the range of diversity in soil type, climate and occupations, these cuisines vary significantly from each other and use locally available spices, herbs, vegetables, and fruits.

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 locally ringed space ( X, O < sub > X </ sub >), certain sheaves of modules on X occur in the applications, the O < sub > X </ sub >- modules.

Given the enforcement difficulties that attend distinguishing between marijuana cultivated locally and marijuana grown elsewhere, 21 U. S. C.

Given a homogeneous prime ideal P of, let X be a subset of P < sup > n </ sup >( k ) consisting of all roots of polynomials in P .< ref > The definition makes sense since if and only if for any nonzero λ in k .</ ref > Here we show X admits a structure of variety by showing locally it is an affine variety.

Given the rapid growth in absolute value of Γ ( z + k ) when k → ∞, and the fact that the reciprocal of Γ ( z ) is an entire function, the coefficients in the rightmost sum are well-defined, and locally the sum converges uniformly for all complex s and x.

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.

Given a base scheme S, an algebraic torus over S is defined to be a group scheme over S that is fpqc locally isomorphic to a finite product of multiplicative groups.

Given a scheme X over a base scheme S or a complex manifold, a line bundle ( or in other words an invertible sheaf, that is, a locally free sheaf of rank one ) L on X is said to be very ample, if there is an immersion i: X → P < sup > n </ sup >< sub > S </ sub >, the n-dimensional projective space over S for some n, such that the pullback of the standard twisting sheaf O ( 1 ) on P < sup > n </ sup >< sub > S </ sub > is isomorphic to L:

Given a dual pair, a dual topology on is a locally convex topology so that

Given a dual pair with a locally convex space and its continuous dual then is a dual topology on if and only if it is a topology of uniform convergence on a family of absolutely convex and weakly compact subsets of

Given any embedding of a Tychonoff space X in a compact Hausdorff space K the closure of the image of X in K is a compactification of X.

Given constants C, D and V, there are only finitely many ( up to diffeomorphism ) compact n-dimensional Riemannian manifolds with sectional curvature | K | ≤ C, diameter ≤ D and volume ≥ V.

Given constants C, D and V, there are only finitely many homotopy types of compact n-dimensional Riemannian manifolds with sectional curvature K ≥ C, diameter ≤ D and volume ≥ V.

The prime mechanism then appeared to be this: Given a space X carrying a vector bundle, that implied in the homotopy category a mapping from X to a classifying space BG, for the relevant linear group G. For the homotopy theory the relevant information is carried by compact subgroups such as the orthogonal groups and unitary groups of G. Once the cohomology H *( BG ) was calculated, once and for all, the contravariance property of cohomology meant that characteristic classes for the bundle would be defined in H *( X ) in the same dimensions.

Given a compact topological space X, the topological K-theory K < sup > top </ sup >( X ) of ( real ) vector bundles over X coincides with K < sub > 0 </ sub > of the ring of continuous real-valued functions on X.

Given a topological group G, the Bohr compactification of G is a compact Hausdorff topological group Bohr ( G ) and a continuous homomorphism

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 a compact subset K of X and an open subset U of Y, let V ( K, U ) denote the set of all functions such that Then the collection of all such V ( K, U ) is a subbase for the compact-open topology on C ( X, Y ).

Given the partial correspondence between the 1-dimensional Hausdorff measure of a compact subset of and its analytic capacity, it might be

Given any compact Lie group G one can take its identity component G < sub > 0 </ sub >, which is connected.

Given a Morse function on a compact boundaryless manifold M, such that the critical points of f satisfy < math > f ( p_1 ) < f ( p_2 ) <

Given the Rover's equipment, prices were reasonably competitive in the large family car segment and considerably lower than the price of such compact executive cars such as the BMW 3 Series and Audi A4.

Given a 3-manifold ( not necessarily compact ) with finitely generated fundamental group, there is a compact three-dimensional submanifold, called the compact core or Scott core, such that its inclusion map induces an isomorphism on fundamental groups.

Given a dual pair with a topological vector space and its continuous dual the Mackey topology is a polar topology defined on by using the set of all absolutely convex and weakly compact sets in.

Given that the relevant cardinals exist, it is consistent with ZFC either that the first measurable cardinal is strongly compact, or that the first strongly compact cardinal is supercompact ; these cannot both be true, however.

* 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 a topological space X, let G < sub > 0 </ sub > be the set X.

Given a point x in a topological space, let N < sub > x </ sub > denote the set of all neighbourhoods containing x.

Given an arbitrary topological space ( X, τ ) there is a universal way of associating a completely regular space with ( X, τ ).

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 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 a topological space X, a subset A of X is meagre if it can be expressed as the union of countably many nowhere dense subsets of X.

Given a complex vector bundle V over a topological space X,

Given a point x of a topological space X, and two maps f, g: X → Y ( where Y is any set ), then f and g define the same germ at x if there is a neighbourhood U of x such that restricted to U, f and g are equal ;

Given any unital ring R, the set of singular n-simplices on a topological space can be taken to be the generators of a free R-module.

Given a topological space and a group acting on it, the images of a single point under the group action form an orbit of the action.

Given an action of a group G on a topological space X by homeomorphisms, a fundamental domain ( also called fundamental region ) for this action is a set D of representatives for the orbits.

Given any topological space X we can define a ( possibly ) finer topology on X which is compactly generated.

Given a topological space and a subset of, the subspace topology on is defined by

Given a topological space X = 〈 X, T 〉 one can form the power set Boolean algebra of X:

Given a field of sets the complexes form a base for a topology, we denote the corresponding topological space by.

Given a topological space the clopen sets trivially form a topological field of sets as each clopen set is its own interior and closure.

Given an interior algebra we can form the Stone representation of its underlying Boolean algebra and then extend this to a topological field of sets by taking the topology generated by the complexes corresponding to the open elements of the interior algebra ( which form a base for a topology ).