查询词典 non countable set

The main results in this chapter are as follows:Theorem 2.1.2Let〓be a countable atomic model.If〓is infinite,then〓is a countable atomic model.

本章的主要结果有：定理2.1.2若〓是可数的原子模型，〓不是〓的代数公式，则〓也是可数的原子模型。

To obtain the function and imbedding properties about relative countable tightness spaces,in this paper the question whether the relative countable tightness space can be adversely preserved by a closed map is studied by means of function and imbedding theories.

为了得到相对可数紧度空间的映射及嵌入性质，借助映射方法和紧化理论讨论了相对可数紧度空间被闭映射逆保持问题及嵌入紧空间问题，得到了相对可数紧度空间被闭映射逆保持的一个充分条件、局部紧的可数紧度空间可嵌入紧空间的几个充分条件以及某一类局部紧空间在任意紧化中不具有可数紧度等结果。

Used before an un countable noun to refer to a countable meaning of noun.

用在不可数名词前，使该名词作为可数名词的用法。

In chapter 2, we prove that sn—first countable spaces are preserved by the finite subsequence-covering mappings.By this result, we prove that the finite subsequence-covering, quotient mappings preserve g—metrizable spaces, also prove that the finite subsequence-covering, closed mappings preserve sn—metrizable spaces, g-metrizable spaces, metrizable spaces, point-countable bases.

在第二章中，我们主要证明了有限子序列覆盖映射保持sn-第一可数空间，作为它的应用，又证明了有限子序列覆盖、商映射保持g-第一可数空间，也证明了有限子序列覆盖闭映射保持sn-度量空间，g-度量空间，度量空间，点可数基。

Theorem 2.1.11 Let T be〓-categorical.Then for any formula〓,fractiontheory〓is either〓-categorical,or has exactly countably many countable models up toisomorphism.Moreover,all these countable models are〓-homogeneous.

定理2.1.11 若T是〓范畴理论，则任给公式〓，分式理论〓或者是ω-范畴理论，或者只有可数多个可数模型并且这些可数模型都是可数地齐次模型。

For an abitrary set X, appropriate order relations on WCL (the set of all weak closure operators), WIN (the set of all weak interior operators), WOU (the set of all weak exterior operators), WB (the set of all weak boundary operators), WD (the set of all weak derived operators), WD*(the set of all weak difference derived operators), WR (the set of all weak remote neighborhood system operators) and WN (the set of all weak neighborhood system operators) can be defined respectively, which make WCL, WIN, WOU, WB, WD, WD*, WR and WN to be complete lattices that are ismorphic to CS(X,CS is the set of all closure systems on X.

证明了可以在WCL(X上的弱闭包算子的全体)、 WIN(X上的弱内部算子的全体)、 WOU (X上的弱外部算子的全体)、 WB (X上的弱边界算子的全体)、WD、 WD*(X上的弱差导算子的全体)、 WR(X上的弱远域系算子的全体)和WN(X上的弱邻域系算子的全体)上定义适当的序关系，使它们成为与CS(X，〖JX-*5[JX*5]同构的完备格其中CS(X是给定集合X上的闭包系统的全体。

The increased amount of non--exchangeable NH4^＋-N during the incubation indicated as the following tendency, namely, Eum-Orthic Anthrosols 〉 Los - Orthic Entisols 〉 Hap-Ustic Isohumisols 〉 Ust-Sandiic Entisols. Organic material influenced significantly the increased amount of non-exchangeable NH4^＋-N （P was 0.0002, 0.0004 and 0.0003 when incubated at 20 d, 50 d and 60 d, respectively）. NH4^＋-N increased remarkably when Stlpa bungeana and Medicago sativa were added compared with no addition. The contents of non-exchangeable NH4^＋-N increased significantly when added （NH4）2SO4 compared without addition at 20 d, 40 d and 60d of incubation and P was 0.0037, 0.0033 and 0.0027, respectively. It was the result that the NH4^＋-N from （NH4）2 SO4 was fixed within the soil. The increased amount of non-exchangeable NH4^＋-N increased significantly for different soils, on which different vegetation types grew before the collection of soil samples, when incubated at 20 d （P=0.0434）, but not significantly at 40 d and 60d （P=0.7378 and 0.5375）. The increased amount of non-exchangeable NH4^＋-N in the soil, on which crop straw and nitrogen fertilizer had been incorporated for a long-term period, was larger than that of no addition, but it was not significantly different among these two fertilization models. Soil clay, total N and organic matter were positively correlated remarkably with the contents of non-exchangeable NH4^＋-N, the increased amount of non-exchangeable NH4^＋-N had no correlation with soil clay, whereas it had significantly positive correlation with total N and organic matter.

培养期间非交换性NH4^＋-N的增加量均表现为以土垫旱耕人为土最大，其次是黄土正常新成土，简育干润均腐土和干湿砂质新成土较小；添加有机物料极显著影响培养期间的非交换性NH4^＋-N增加量（培养20d、40d和60d时P分别为0.0002，0.004和0.0003），表现为紫花苜蓿和长芒草土壤非交换性NH4^＋-N的增加量均极显著高于不添加有机物料的对照土壤；在培养20d、40d和60d时，加（NH4）2SO4土样非交换性NH4^＋-N的增加量显著大于不加（NH4）2SO4土样（户分别为0.0037，0.0033和0.0027），这是土壤对（NH4）2SO4中NH4^＋-N固定的必然结果；不同植被类型土壤培养20d时的非交换性NH4^＋-N增加量差异显著（P=0.0434），培养40d和60d时差异不显著（p分别为0.7378和0.5375）；长期秸秆和氮肥配施土壤非交换性NH4^＋-N增加量大于不施肥对照土壤，但差异不显著土壤黏粒、全氮和有机质与培养0d、20d、40d和60d时土壤的非交换性NH4^＋-N含量均呈极显著正相关；而非交换性NH4^＋-N的增加量与粘粒无相关性，但与全氛和有机质呈显著正相关。

A set is "less than" another set if and only if the first set is a proper subset of the second set, and a set is "greater than" another set if and only if the first set is a proper superset of the second set.

只有当第一个集合是第二个集合的严格子集时，我们才称第一个集合"小于"第二个集合，同理，只有当第一个集合是第二个集合的严格超集时，我们才称第一个集合"大于"第二个集合。

To declare what we can do with a set, we start a header file Set.h:#ifndef SET_H #define SET_H extern const void * Set; void * add (void * set, const void * element); void * find (const void * set, const void * element); void * drop (void * set, const void * element); int contains (const void * set, const void * element);#endif The preprocessor statements protect the declarations: no matter how many times we include Set.h, the C compiler only sees the declarations once.

宣布我们能做些什么用一套，我们开始一个头文件Set.h ：＃ ifndef SET_H ＃定义SET_H 外部构造无效*设置；无效*地址（无效*一套，无效*常量元素）；无效*找到（常量无效*一套，无效*常量元素）；无效*下降（无效*一套，无效*常量元素）；国际载（常量无效*一套，无效*常量元素）；＃ endif 预报表保护声明：无论多少次我们包括Set.h ， C编译器将只看到申报一次。

Thesis and mainly discuss the following problems:What we mainly discussed in the second chapter as follows:(1) S1,S2 are sets of symmetric orth-symmetric matrices;(2) S1,S2 are sets of bisymmetric matrices;(3) S1,S2 are sets of anti-symmetric orth-anti-symmetric matrices;(4) S1,S2 are sets of bi-anti-symmetric matrices;(5) S1 is the set of symmetric orth-symmetric matrices, S2 is the set of anti-symmetric orth-anti-symmetric matrices;(6) S1 is the set of bisymmetric matrices, S2 is the set of bi-anti-symmetric matrices;(7) S1 is the set of anti-symmetric orth-anti-symmetric matrices, S2 is the set of symmetric orth-symmetric matrices;(8) S1 is the set of bi-anti-symmetric matrices, S2 is the set of bisymmetricmatrices;On the base of studying the basic properties of the matrices, the expression of solutions and some numerical examples are presented.

本文第二章将主要就上述问题讨论如下几种情况： 1.S_1，S_2为对称正交对称矩阵； 2.S_1，S_2为双对称矩阵； 3.S_1，S_2为反对称正交反对称矩阵； 4.S_1，S_2为双反对称矩阵； 5.S_1为对称正交对称矩阵，S_2为反对称正交反对称矩阵； 6.S_1为双对称矩阵，S_2为双反对称矩阵； 7.S_1为反对称正交反对称矩阵，S_2为对称正交对称矩阵； 8.S_1为双反对称矩阵，S_2为双对称矩阵。

We were cousins—his grandfather was King of Scots,and his great-grandfather was Henry VII of England.

我们是堂姐弟——他的祖父曾是苏格兰国王，他的曾祖父是英格兰的亨利二世。

I do want to help you, but I am in a quandary now!

我是想帮你，但是我现在左右为难啊！