[permalink] [id link]

Formally, one has an implication, not an equivalence, so the solution set may get larger.

from
Wikipedia

## Some Related Sentences

Formally and one

__Formally__

**,**a detailed balanced process is

**the**

__one__on which

**the**probability to be in

**the**state x and transit to x ' must be

**the**same as to be in

**the**state x ' and transit to x

**.**

__Formally__

**,**a function ƒ is real analytic on

**an**open

**set**D in

**the**real line if for any x < sub > 0 </ sub > in D

__one__can write

__Formally__

**,**two variables are inversely proportional ( or varying inversely

**,**or in inverse variation

**,**or in inverse proportion or in reciprocal proportion ) if

__one__of

**the**variables is directly proportional with

**the**multiplicative inverse ( reciprocal ) of

**the**other

**,**or equivalently if their product is a constant

**.**

__Formally__

**,**

**the**appointment remains a royal

__one__made on

**the**advice of

**the**Lord Chancellor

**,**but he / she no longer comments on individual applications

**,**and merely supervises

**the**process and reviews

**the**panel's recommendations in general terms ( satisfying himself / herself that

**the**process as operated is fair and efficient ).

__Formally__

**,**they are partial derivatives of

**the**option price with respect to

**the**independent variables ( technically

**,**

__one__Greek

**,**gamma

**,**is a partial derivative of another Greek

**,**called delta ).

__Formally__known as

**the**Kingfisher Pier

**,**

**the**Pier at Garden City is

__one__of

**the**most renowned attractions in Garden City

**,**SC

**.**

__Formally__

**,**

**the**process is

__one__of progressive development

**,**divided into three stages of increasingly complexity

**.**

__Formally__

**,**

**the**word is applied to persons who are publicly accepted in a recognised capacity

**,**such as professional employment

**,**graduation from a course of study

**,**etc., to give critical commentaries in

__one__or any of a number of specific fields of public or private achievement or endeavour

**.**

__Formally__speaking

**,**

**the**strategy pattern defines a family of algorithms

**,**encapsulates each

__one__

**,**and makes them interchangeable

**.**

__Formally__

**,**however

**,**there is

**an**examination board consisting of a candidate's teachers / examiners

**,**

**the**headmaster / headmistress and

__one__external Vorsitzende ( r ) ( head ), usually a high-ranking school official or

**the**head of another school

**.**

__Formally__

**,**

**an**nth order approximation is

__one__where

**the**order of magnitude of

**the**error is at most

**,**or in terms of big O notation

**,**

**the**error is

__Formally__a congruence subgroup is

__one__that contains Γ ( N ) for some N

**,**and

**the**least such N is

**the**level or Stufe of

**the**subgroup

**.**

__Formally__

**,**a rigged Hilbert space consists of a Hilbert space H

**,**together with a subspace Φ which carries a finer topology

**,**that is

__one__for which

**the**natural inclusion

__Formally__

**,**if R is a Noetherian ring and I is a principal

**,**proper ideal of R

**,**then I

**has**height at most

__one__

**.**

__Formally__

**,**knowing

**the**step response of a dynamical system gives information on

**the**stability of such a system

**,**and on its ability to reach

__one__stationary state when starting from another

**.**

__Formally__

**,**a vertex cover of a graph G is a

**set**C of vertices such that each edge of G is incident to at least

__one__vertex in C

**.**The

**set**C is said to cover

**the**edges of G

**.**The following figure shows examples of vertex covers in two graphs ( and

**the**

**set**C is marked with red ).

__Formally__dedicated " as a memorial to

**the**boys that were " on October 30

**,**1915

**,**Alumni Field and its distinctive " maroon goal-posts on a field of green " were hailed in that evening's edition of

**the**Boston Saturday Evening Transcript as "

__one__of

**the**sights in Boston

**.**

__Formally__

**,**given two partially ordered sets ( S

**,**≤) and ( T

**,**≤), a function f: S → T is

**an**order-embedding if f is both order-preserving and order-reflecting

**,**i

**.**e

**.**for all x and y in S

**,**

__one__

**has**

Formally and has

__Formally__

**the**" head of state " can also personally be

**the**" head of government " ( ex officio or by ad hoc cumulation such as

**an**absolute monarch nominating himself ) but otherwise

__has__formal precedence over

**the**Head of Government and other ministers

**,**whether he is their actual political superior ( absolute monarch

**,**executive president ) or rather theoretical or ceremonial in character

**.**

__Formally__

**,**we start with a category C with finite products ( i

**.**e

**.**C

__has__a terminal object 1 and any two objects of C have a product ).

__Formally__

**,**DFS is

**an**uninformed search that progresses by expanding

**the**first child node of

**the**search tree that appears and thus going deeper and deeper until a goal node is found

**,**or until it hits a node that

__has__no children

**.**

Informally

**,**G__has__**the**above presentation if it is**the**" freest group " generated by S subject only to**the**relations R**.**__Formally__**,****the**group G is said to have**the**above presentation if it is isomorphic to**the**quotient of a free group on S by**the**normal subgroup generated by**the**relations R**.**
It

__has__been leased from**the**National Trust since 1974 by**the**Somerset Wildlife Trust (__Formally__Somerset Trust for Nature Conservation ) and is run as a nature reserve and visitor centre**.**__Formally__known as Bootle-cum-Linacre

**,**

**the**town is < span style =" white-space: nowrap "> 4 miles ( 6

**.**4 km )</ span > to

**the**north of Liverpool city centre

**,**and

__has__a total resident population of 77

**,**640

**.**

__Formally__

**,**this means that

**,**for some function f

**,**

**the**image f ( D ) of a directed

**set**D ( i

**.**e

**.**

**the**

**set**of

**the**images of each element of D ) is again directed and

__has__as a least upper bound

**the**image of

**the**least upper bound of D

**.**One could also say that f preserves directed suprema

**.**

Following a merger with

**the**Furnishing Industry Trust (__Formally__The Furnishing Trades Benevolent Association ) in 2011**,****the**Company__has__become**the**most significant charity in**the**sector**,**supporting**the**needy and promoting welfare and education of those entering and working within**the**industry**,**as well as**the**wider support of**the**charitable work of**the**Mayoralty and**the**Corporation of**the**City of London**.**__Formally__established in 1475

**,**though in fact much older

**,**it

__has__75

**,**000 codices from throughout history

**.**

__Formally__

**,**

**the**situation

__has__

**the**characteristics of a prisoner's dilemma game that is played repeatedly between

**the**same partners

**,**and in this case " defection "-jumping

**the**queue-would

**not**be advantageous

**.**

__Formally__

**,**a deterministic algorithm computes a mathematical function ; a function

__has__a unique value for any given input

**,**and

**the**algorithm is a process that produces this particular value as output

**.**

__Formally__

**,**

**an**antihomomorphism between X and Y is a homomorphism

**,**where equals Y as a

**set**

**,**but

__has__multiplication reversed: denoting

**the**multiplication on Y as and

**the**multiplication on as

**,**we have

**.**

__Formally__described in Stephen Gilligan's article: The relational self:

**the**expanding of love beyond desire ( 1996 ), and expanded on in his book: The Courage to Love ( 1997 ), it

__has__become a major new approach in psychotherapy and healing

**.**

Enbridge currently

__has__offices in Enbridge Place (__Formally__ING Tower ), Manulife Place**,**and Royal Bank Building**.**__Formally__

**,**given a finite

**set**X

**,**a collection C of subsets of X

**,**all of size n

**,**

__has__Property B if we can partition X into two disjoint subsets Y and Z such that every

**set**in C meets both Y and Z

**.**

__Formally__named " Olallie ", it

__has__usually been marketed as olallieberry

**,**just as " Marion " is sold as marionberry

**.**

0.095 seconds.