THE PARTIALLY ORDERED SET AND UNDERGROUND TRAVERSE NETWORK SPATIAL RELATIONS

• 矿井导线网空间关系和操作的半序集模型