Sentence examples for the relation holding from inspiring English sources

Thus, the relation holding between the intension and extension of a term is the same as between types and tokens.

In fact, Solomon Lefschetz in the beginning of the 20-th century was able to describe the relation holding between a smooth projective variety (X subset {mathbb {P}}^N) of dimension n and its hyperplane section ( W = X cap H), where H is a general linear subspace of codimension 1, a hyperplane.

Suppose we consider, not the sentential languages of our opening paragraph but rather first-order languages, and take S as the set of closed formulas of such a language and T as the set of models (interpretations, structures,…) for that language, then with R as the relation holding between a closed formula φ and a structure M when M ⊨ φ, fR S0) and gR(T0) are usually denoted by Mod(S0) and Th(T0).

The last example I will discuss has the goal to summarize three landmarks of the suggested perspective: the relation holding between local (specific genes/proteins) and global (genome-wide/proteome-wide) effects and the cognate concept of scalability, i.e. the possibility to reproduce some general effects by a randomly down-sized version of the entire system [ 22].

To avoid confusion between the corresponding Kuranishi spaces, denote by ({{mathrm{text {Def}}}}(S)) the Kuranishi space for S, respectively ({{mathrm{text {Def}}}}(X)) the Kuranishi space of X. Burns and Wahl [66], inspired by [13] explained the relation holding between ({{mathrm{text {Def}}}}(S)) and ({{mathrm{text {Def}}}}(X)).

where the relation holds with equality for a uniform PDP.

If (alpha+beta>1), then the relation holds at any point of ([a,b]).

The result of the match is a relation and a degree confidence that the relation holds providing an estimate of the correctness of the matches.

Here 'numerically significant' means that the relation holds to at least 100 digits beyond the level of precision required to discover it.

Theorem 4. Let M z be invertible on L p, r23< r12, and let for some d > 0, the relation holds for all Laurent polynomials q.

For example, a binary relation on the universe {1,…,m} can be represented by a word w11 … w1m#…#wmm … wherewhere the relation holds of (i, j) iff wij = 1.