同格

In Chapter 4, a congruence on a commutative distributive semiring is defined by using of a style of congruence in reference [16]. Moreover, the result that the congruence is the least distributive lattice congruence is proved.

第四章，借助于文献[16]中同余的形式，定义了交换分配半环上的一个同余，并且证明了该同余是最小分配格同余。

Harpooners can shoot harpoon that in addition to standard damage can pull the attacked creature by one tile closer to the harpooner.

2Harpooner可以投出标枪进行攻击，在造成伤害的同时令对方向Harpooner移动一格。（为啥是近一格，退一格更合理的吧

Irenaeus of Lyons in the late 2nd century, claimed in his Against Heresies, We however as always, the more now as better equipped through the Paraclete, that leader into all truth, believe as these do in the only one God, yet subject to this dispensation, that the one only God has also a Son, His Word who proceeded from Himself, by Whom all things were made and without Whom nothing has been made, that this Son was sent by the Father into the virgin and was born of her, both man and God, Son of Man and Son of God and was named Jesus Christ; that He suffered, died, and was buried according to the Scriptures and having been raised up by the Father and taken back into heaven, and sits at the right hand of the Father, He will come to judge the quick and the dead; and that thereafter He, according to His promise, sent from the Father, the Holy Spirit, the Paraclete, the sanctifier of the faith of those who believe in the Father, the Son, and the Holy Spirit.

透过信仰的成形与系统化表述，产生出我们现今所知道的正统教义：相信一位神以三个位格存在──圣父、圣子和圣灵──祂们彼此同等、同永恒并且同质（希腊文为 ousia ）。耶稣不能被视为从属於圣父，像诺斯底派教导说神具有层次；耶稣也不单是另一种形态，像撒伯流派所教导的，表示神仅仅是在不同时间以不同型式存在；耶稣更不是一个神的灵降在他身上，因此他才被选上的人，像亚流所主张的那样，生是一种创造性行为，所以基督事实上是有起源的。头四次教会古代会议决议应当要来肯定只有一位神，但是存在於三个位格：圣父、圣子和圣灵。

We, then, following the Holy Fathers, all with one consent, teach men to confess the one and same Son, our Lord Jesus Christ, the same perfect in Godhead and also perfect in manhood; truly God and truly man, of a reasonable soul and body; consubstantial with the Father according to the Godhead, and consubstantial to us according to the Manhood; in all things like unto us, without sin; begotten before all ages of the Father of the Father according to the Godhead, and in these latter days, for us and for our salvation, born of the Virgin Mary, the Mother of God, according to the Manhood; one and the same Christ, Son, Lord, Only-begotten, to be acknowledged in two natures, inconfusedly, unchangeably, indivisibly, inseparably; the distinction of natures by no means taken away by the union, but rather the property of each nature being preserved, and occuring in one Person and one Subsistance, not parted or divided into two persons, but one and the same Son, and only begotten, God the Word, the Lord Jesus Christ, as the prophets from the beginning concerning him, and the Lord Jesus Christ himself has taught us, and the Creed of the holy Fathers has handed down to us.

我们跟随圣教父，同心合意教人认识同一位子，我们的主耶稣基督，是神性完全、人性亦完全者；他真是上帝，也真是人，具有理性的灵魂，也具有身体；按神性说，他与父同体；按人性说，他与我们同体；在凡事上与我们一样，只是没有罪；按神性说，在万世之前，为父所生；按人性说，在晚进时日，为求拯救我们，由上帝之母，童女马利亚所生；是同一基督，是子，是主，是独生的，具有二性，不相混乱，不相交换，不能分开，不能离散；二性的区别不因联合而消失；各性的特点反得以保存，会合于一个位格，一个实质之内；而非分离成为两个位格，却是同一位子，独生的，道上帝，主耶稣基督；正如众先知论到他自始所宣讲的，主耶稣基督自己所教训我们的，诸圣教父的信经所传给我们的。

The divisible semiring congruence on S was characterized. A one-toone, inclusion-preserving mapping from the set of full, closed, self-conjugate subsemirings of S to the set of divisible semiring congruence on S was established. A result for the divisible semiring congruence lattice was obtained.

给出了这类半环上可除半环同余的一种刻画，建立了S上的可除半环同余与满、闭、自共轭理想子半环的保序一一对应，得到了可除半环同余格的一个结果。

We also prove that the lattice of group congruences on a regular semigroup is isomorphic to the lattice of its full admissible subsemigroups.

另外，还证明了正则半群的群同余格同构于它的完全容许子半群的格。

Two complete congruences on the congruence lattices of regular semigroups with Q-inverse transversal s are analysed.

研究了具有Q-逆断面的正则半群上的同余格Con上的等价关系W和Q，它们都是Con上的完全同余，这些完全同余的每一个类是区间，给出了每一个类的极大、极小同余的表示。

Furthermore we introduce the concepts of coverings and lattice-valued homomorphisms,we prove that the L-valued fuzzy transformation semigroups in which the multiplication is fuzzy transformation semigroup inducible is equivelent to usual faithful transformation semigroups in the sence of lattice-valued strong homomorphism.

若格半群中的乘法是格值变换半群可诱导的，在格值强同态下证明了格值可诱导变换半群和一般有效变换半群是等价的。

Based on the horizontal and vertical combination in formal contexts, this paper defines the independent or consistent contexts and lattices in attribute field; and also defines the horizontal addition operation between contexts or concepts and the horizontal union operation between concept lattices. In addition, we prove that the concept lattice of subcontexts horizontally combined is isomorphic to the horizontal union of sublattices of these subcontexts.

本文首先从形式背景的纵向、横向合并出发，定义了内涵独立和内涵一致的形式背景和概念格；还定义了内涵一致的形式背景、概念的横向加运算和概念格的横向并运算，并证明了横向合并的子形式背景的概念格和子背景所对应的子概念格的横向并是同构的。

Cells can be separated with either a new line and new bar, or by a double bar "'''||'''" on the same line. Both produce the same output

表格同一行的单元格之间代码可以不在同一行，或者在同一行用双竖线&'''||'''&来隔开，这都会产生相同的输出效果，但是用双竖线代码看起来比较直观

It has been put forward that there exists single Ball point and double Ball points on the symmetrical connecting-rod curves of equilateral mechanisms.

从鲍尔点的形成原理出发，分析对称连杆曲线上鲍尔点的产生条件，提出等边机构的对称连杆曲线上有单鲍尔点和双鲍尔点。

The factory affiliated to the Group primarily manufactures multiple-purpose pincers, baking kits, knives, scissors, kitchenware, gardening tools and beauty care kits as well as other hardware tools, the annual production value of which reaches US$ 30 million dollars.

集团所属工厂主要生产多用钳、烤具、刀具、剪刀、厨具、花园工具、美容套等五金产品，年生产总值3000万美元，产品价廉物美、选料上乘、质量保证，深受国内外客户的青睐