给定n维空间中的m个非空点集S1，…，Sm，如果直线L与每个点集均有公共点，则称L为这m个点集的一条直线穿越（line transversal 或 stabbing line）。同样，如果线段K（本文中的线段均指闭线段，且包括单点集）与每个点集均有公共点，则称K为这m个点集的一条线段穿越（segment transversal 或 stabbing line segment）。穿越的概念是海莱定理（Helly’s theorem）的延伸，它的存在性等问题一直是计算几何中海莱类定理（Helly-t