首先根据笔者以前的研究成果，给出了两个空间实体之间完备、唯一的拓扑关系形式化表达，进而论述了它们之间存在的性质。从这些性质出发，得出了相互间空间关系复合的结果。空间推理从广义上而言，是指从已知信息推导未知信息的理论和方法，据其使用的理论基础，可以分为代数推理和逻辑推理，空间复合的结果可以直接用于代数推理，又可以作为前提条件用于逻辑推理。

In the paper,the formal representation of topological relationships are proposed according to our early research results, and the characters are also introduced. Based on these characters, the results for com-posite topological relations are introduced. At last, the applications in spatial reasoning are proposed.