查询词典 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上的闭包系统的全体。

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为双对称矩阵。

The fixed assets are 78 million Yuan. The main equipment for mould is imported from abroad such as: Three coordinate numerical control milling machine imported from Japan, on set; large type the five coordinate milling machine typed dragon imported from Spain, sise (4000 x 2500), one set; three coordinate numerical control processing center size (2000 x 1000) imported from Spain, one set; powerful numerical control milling machine typed dragon imported from Taiwan, size (3200 x 2540), one set; five coordinate milling machine typed with five drift link movement imported from Italy, size (4000 x 2500), one set; Five faces numerical control milling machine HVM502T typed dragon imported from Taiwan, one set; numerical control scanning measuring machine imported from America size (5000 x 2438 x l824), one set. Others sophisticated equipment are made in China, such as numerical control cutting machine, planer typed dragon, pressing machine for research, total 16 set; advanced computer graphical working station, total 40 sets. The automobile cover has become into advantage, which is supplied various auto. Cover mould and cool Press mould to many big factories, such as: Jinan Auto. Manufacturing General Factory, Beijing Light-duty Auto. Manufacture Co., Changhe Auto. Manufacturing Factory, Shandonq Bulldozed General Factory, Jinan Diesel Factory, Qongdao Sifang Locomotive Factory, Dongfeng Auto.

该厂现有固定资产7800万元，用于模具制造的有日本引进的数控三座标铣床一台，西班牙引进的大型五坐标龙门仿形铣床一台（4000*2500），三座标数控加工中心一台（2000*1000），从台湾引进的强力数控龙门铣床一台（32O0*2540），从意大利引进的五轴联动五座标龙门铣床一台（4000*2500），从台湾引进五面体数控龙门铣床HVM502T一台，从美国引进的数控扫描测量机一台（5000*2438*1824）以及国产联高精尖的数控切割机，龙门刨床、研配压床等大型设备 I6 台套，高档计算机图形工作站40多台，在模具制造方面已形成制造汽车覆盖件模具的优势，产品质量达到国内先进水平，多年来为济南汽车制造总厂、北京轻型汽车制造有限公司，昌河汽车制造厂、山东推土机总厂、济南柴油机厂、青岛四方机车厂、东风汽车公司等大型骨干企业的产品更新换代生产制造了各种类型的覆盖件模具及冷冲模具，受到用户的好评，并建立了较稳定的供需关系。

Molecular Distillation is a kind of high vacuum distillation method, which is suitable for the separation of high boiling, heat sensitivity and viscidity products.

分子蒸馏技术是一种在高真空条件下进行的连续蒸馏过程，适合于分离高沸点、热敏性及具有生物活性的混合物。

They are to the Noughties what yuppies were to the Eighties .

那在六十年代是时髦的，但在八十年代肯定是过时了