第五章  紧致序列

这些命题给出关于一个紧致序列的定义。如果R是一个包含在相异关系中的并且等同于自身平方的连续关系，且如果u是关于R的前域与的前域的逻辑和之中所包含的一个类，两个不同的U总有R和这两种关系之一，在两个u之间总存在第三个u，那么u是一个R，对于产生这样的序列的所有关系而言，类是所有紧致序列的类。

这个命题给出一种方法，借助这个方法，通过与一个给定紧致序列的对应，我们得到一个新的紧致序列。这证明：与一个紧致序列相似的每一类在关于一种关系上自身也是一个紧致序列。我们有更一般性的定理：给定P，以及使P0’P2P成立的一种关系，像冗一样的序型的序列的类就是P’这些关系的前域的类，使得存在P’＝psπ＝ο这样的一一对应关系S。这个定理毫无例外地适用于所有类型的序列。为避免篇幅过长我省去了证明。