查询词典 if and only if

By applying the tools such as modulus of curves and rings, together with Rohde s theorem, it proves that a homeomorphism is a bi Lipschitz map if and only if it satisfies a logarithmically absolute value inequality of rings.

运用曲线族的模和环模等工具，结合 Rohde定理，证明同胚为双 Lipschitz映射的充要条件是：它适合环的对数绝对值不等式；还得到了同胚为拟共形映射的一个充分条件。

The adjacent matrix is a matrix, which, if and only if vertex and adjacent.

的邻接矩阵是一个的矩阵，其中，当且仅当顶点和邻接。

It is shown that, any reprersentation finite special biserial algebra has a Groebner basis theory, and a finite-dimensional basic algebra over an algebraically closed field is representation finite if and only if every module over it has a right Groebner basis theory.

证明了表示有限特殊双列代数有Groebner基，从而扩大了Groebner基理论的应用范围；证明了一个代数封闭域上的有限维代数是表示有限特殊双列代数当且仅当其上每个右模都有右Groebner基理论，从而扩大了右Groebner基理论的应用范围。

The problem then becomes constructing such an ordering, and it turns out that every set can be well-ordered if and only if the axiom of choice is true.

问题就变成构造这样一个排序，而它使得所有集合可以是良序的，当且仅当选择公理为真。

In chapter 1, the relations between spectrum displacement problem and controllability, observabiity for linear systems over a commutative Banach algebra have been discussed, the open problem about spectrum displacement posed by Kaashoek have been solved, and the if and only if conditions for stability, stabiizabit~ detectability have been obtained.

第一章，讨论了交换Banach代数上线性系统的谱配置问题与可控性、可观性的关系，解决了Kaashoek等提出的关于谱配置的公开问题，给出并证明了判定其稳定性、可稳定性、可检测性的充要条件。

It is proved that a semiring is complemented if and only if it is a direct product of some Boolean algebra and Boolean ring by studying the relations of congruences on the complemented semiring, so the complemented semiring is the commutative semiring.

s-内射模。通过研究可补半环S的性质及S上的同余关系，证明出可补半环与布尔环和布尔代数的直积是等价的，因而可补半环是交换半环。

Color, font and border properties should be set if -- and only if -- the application has not already set them.

颜色，字体和边框属性应该且只应该在应用还没有设置它们之前进行设置。

Tarski's definition of truth of the calculus of classes is: x is true if and only if x is a sentence of the calculus of classes and every infinite sequence of classes satisfies x .

塔斯基得到的真概念定义是：x是类演算语言的任一语句，x为真当且仅当每一个类的无穷序列都满足x。

It is shown that a fuzzy subset of a BCI algebra is an FSI ideal if and only if it is both an FSC ideal and a fuzzy BCI positive implicative ideal.2. A new class of quotient BCK/BCI algebras and a new class of bounded quotient BCK algebra are constructed, respectively. By investigating their applications, it is shown that these quotient structures are more reasonable than ever before and possess good properties.

构造了一类新的商BCK／BCI代数和一类新的有界商BCK代数，利用这种构造，各类型商BCK／BCI代数可以被相应的Fuzzy理想／滤子完全刻画，以往的商构造被Fuzzy理想／滤子刻画时只有充分条件而没有必要条件，因此新构造弥补了以往构造的不足，比以往的构造更加合理。

And it is proved that a semiring S in ■°■l is a subdirect product of a member of ■° and a member of ■l if and only if the multiplicative reduct of S is a subdirect product of a group and a semilattice by using the concept of sturdy frame of type(2,2) algebras.

O∩■°■B和■∩■°■中成员的次直积分解，并利用&(2，2)型代数的坚固构架&的概念，证明了半环S∈■°■l是■与■l中成员的次直积当且仅当S的乘法半群是群与半格的次直积。

Breath, muscle contraction of the buttocks; arch body, as far as possible to hold his head, right leg straight towards the ceiling (peg-leg knee in order to avoid muscle tension).

呼气，收缩臀部肌肉；拱起身体，尽量抬起头来，右腿伸直朝向天花板（膝微屈，以避免肌肉紧张）。

The cost of moving grain food products was unchanged from May, but year over year are up 8%.

粮食产品的运输费用与5月份相比没有变化，但却比去年同期高8％。