Approximate topological reasoning based on composition table

• 基于复合表的近似拓扑推理