[permalink] [id link]

Formally, the issue is that interfertile " able to interbreed " is not a transitive relation – if A can breed with B, and B can breed with C, it does not follow that A can breed with C – and thus does not define an equivalence relation.

from
Wikipedia

## Some Related Sentences

Formally and is

__Formally__organized vocational programs supported by federal funds allow high school students

**to**gain experience in

**a**field of work which

__is__likely

**to**lead

**to**

**a**full-time job on graduation

**.**

__Formally__

**,**

**the**set of all context-free languages

__is__identical

**to**

**the**set of languages accepted by pushdown automata ( PDA ).

More rigorously

**,****the**divergence of**a**vector field F at**a**point p__is__defined as**the**limit of**the**net flow of F across**the**smooth boundary of**a**three dimensional region V divided by**the**volume of V as V shrinks**to**p**.**__Formally__**,**__Formally__

**,**

**the**base

__is__known as Naval Support Facility Diego Garcia (

**the**US activity ) or Permanent Joint Operating Base ( PJOB ) Diego Garcia (

**the**UK's term ).

__Formally__

**,**there

__is__

**a**clear distinction:

**"**DFT

**"**refers

**to**

**a**mathematical transformation or function

**,**regardless of how

**it**

__is__computed

**,**whereas

**"**FFT

**"**refers

**to**

**a**specific family of algorithms for computing DFTs

**.**

__Formally__

**,**oxidation state

__is__

**the**hypothetical charge

**that**

**an**atom would have

**if**all bonds

**to**atoms of different elements were 100 % ionic

**.**

__Formally__

**,**

**an**inner product space

__is__

**a**vector space V over

**the**field together

**with**

**an**inner product

**,**i

**.**e.,

**with**

**a**map

__Formally__

**,**

**if**M

__is__

**a**set

**,**

**the**identity function f on M

__is__defined

**to**be

**that**function

**with**domain

**and**codomain M which satisfies

*

__Formally__**,**when working over**the**reals**,**as here**,**this__is__accomplished by considering**the**limit as ε → 0 ; but**the****"**infinitesimal**"**language generalizes directly**to**Lie groups over general rings**.**__Formally__

**,**

**a**profinite group

__is__

**a**Hausdorff

**,**compact

**,**

**and**totally disconnected topological group:

**that**

__is__

**,**

**a**topological group

**that**

__is__also

**a**Stone space

**.**

__Formally__

**,**this sharing of dynamics

__is__referred

**to**as universality

**,**

**and**systems

**with**precisely

**the**same critical exponents are said

**to**belong

**to**

**the**same universality class

**.**

__Formally__

**,**

**a**frame

__is__defined

**to**be

**a**lattice L in which finite meets distribute over arbitrary joins

**,**i

**.**e

**.**every ( even infinite ) subset

Formally and transitive

__Formally__

**,**

**a**cardinal number κ

**is**λ-unfoldable

**if**

**and**only

**if**for every

__transitive__model M of cardinality κ of ZFC-minus-power set such

**that**κ

**is**in M

**and**M contains all its sequences of length less than κ

**,**there

**is**

**a**non-trivial elementary embedding j of M into

**a**

__transitive__model

**with**

**the**critical point of j being κ

**and**j ( κ ) ≥ λ

**.**

Formally and relation

__Formally__

**,**in GMLCOV AbstractCoverage

**is**

**a**subtype of AbstractFeature ( indicating its close

__relation__).

__Formally__

**,**

**an**unlabelled state transition system

**is**

**a**tuple ( S

**,**→) where S

**is**

**a**set ( of states )

**and**→ ⊆ S × S

**is**

**a**binary

__relation__over S ( of transitions ).

**a**< sub > i </ sub >,

**a**< sub > i + 1 </ sub >,..., which

**is**

**a**suffix of w

**.**

__Formally__

**,**

**the**satisfaction

__relation__between

**a**word

**and**

**an**LTL formula

**is**defined as follows:

__Formally__

**,**

**a**quantization predicate QUA

**can**be defined as follows

**,**where

**is**

**the**universe of discourse

**,**

**and**

**is**

**a**variable over sets

**,**

**and**

**is**

**a**mereological part structure on

**with**< math > < _p </ math >

**the**mereological part-of

__relation__

**.**

Formally and –

__Formally__

**,**arbitrage transactions have negative skew

__–__prices

**can**get

**a**small amount closer ( but often no closer than 0 ), while they

**can**get very far apart

**.**

__Formally__inaugurated in March 2004

**,**

**the**Global Leadership Foundation works

**to**

**"**promote good governance

__–__democratic institutions

**,**open markets

**,**human rights

**and**

**the**rule of law

__–__

**and**

**to**contribute

**to**

**the**prevention

**and**resolution of conflict through mediation

**.**

__Formally__designated as

**the**Manhattan Engineer District

**,**

**it**refers specifically

**to**

**the**period of

**the**project from 1941

__–__1946 under

**the**control of

**the**U

**.**S

**.**Army Corps of Engineers

**,**under

**the**administration of General Leslie R

**.**Groves

**.**

__Formally__

**,**

**the**sets of free

**and**bound names of

**a**process in π

__–__calculus are defined inductively as follows

**.**

__Formally__

**,**Mbenga

__–__Mbuti Pygmy music consists of at most only four parts

**,**

**and**

**can**be described as

**an**

**,**

**"**ostinato

**with**variations ," or similar

**to**

**a**passacaglia

**,**in

**that**

**it**

**is**cyclical

**.**

__Formally__

**,**

**the**complexity class MA

**is**

**the**set of decision problems

**that**

**can**be decided in polynomial time by

**an**Arthur

__–__Merlin protocol where Merlin's only move precedes any computation by Arthur

**.**

__Formally__

**,**he says

**,**

**the**piece consists of two parts of nearly equal length

**,**

**the**end of

**the**first section being bars 24

__–__28 ( p

**.**77 ).

__Formally__trained specialists recognized by

**the**American Dental Association undergo

**a**minimum of 2

__–__3 years full-time rigorous education program after dental school graduation

**.**

__Formally__

**,**

**define**

**the**set of lines in

**the**plane P as L ( P ); then

**a**rigid motion of

**the**plane takes lines

**to**lines

__–__

**the**group of rigid motions acts on

**the**set of lines

__–__

**and**one may ask which lines are unchanged by

**an**action

**.**

The Knight Foundation (

__Formally__**the**Foundation for Law**and**Government ), offers**a**possible solution__–__**the****"**Knight 4000 ".

Formally and if

__Formally__

**,**

__if__d

**is**

**the**dimension of

**the**parameter

**,**

**and**n

**is**

**the**number of samples

**,**

__if__as

**and**as

**,**then

**the**model

**is**semi-parametric

**.**

__Formally__

**,**in

**the**finite-dimensional case

**,**

__if__

**the**linear map

**is**represented as

**a**multiplication by

**a**matrix

**A**

**and**

**the**translation as

**the**addition of

**a**vector

**,**

**an**affine map acting on

**a**vector

**can**be represented as

__Formally__

**,**

**a**decision problem

**is**P-complete ( complete for

**the**complexity class P )

__if__

**it**

**is**in P

**and**

**that**every problem in P

**can**be reduced

**to**

**it**by using

**an**appropriate reduction

**.**

If R

**is****a**ring**,**let R denote**the**ring of polynomials in**the**indeterminate X over R**.**Hilbert proved**that**__if__R**is****"****not**too large ", in**the**sense**that**__if__R**is**Noetherian**,****the**same must be true for R**.**__Formally__**,**__Formally__

**,**

**a**hypothesis

**is**compared against its opposite or null hypothesis ("

__if__I release this ball

**,**

**it**will

**not**fall

**to**

**the**floor ").

__Formally__

**,**

**the**sequence of partial sums of some infinite summation converges

__if__for every fixed power of X

**the**coefficient stabilizes: there

**is**

**a**point beyond which all further partial sums have

**the**same coefficient

**.**

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

**,**

__if__

**is**

**an**open subset of

**the**complex plane

**,**

**a**point of

**,**

**and**

**is**

**a**holomorphic function

**,**then

**is**called

**a**removable singularity for

__if__there exists

**a**holomorphic function which coincides

**with**on

**.**

__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

**.**

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**.**__Formally__

**,**

__if__we write F < sub > Δ </ sub >( x )

**to**mean

**the**f-polynomial of Δ

**,**then

**the**h-polynomial of Δ

**is**

__Formally__

**,**

**a**cardinal κ

**is**defined

**to**be weakly compact

__if__

**it**

**is**uncountable

**and**for every function f: < sup > 2 </ sup > →

0.247 seconds.