说同时属于两者的点的集合不是空集。若两个几何图形在某个地方有且只有一个交点，则可以称为相切而不是相交。如果两个图形完全重合，则一般不称为相交。集合论中，两个集合相交是指它们的交集不是空集。
直线的相交.在欧几里得平面上，两条直线要么平行，要么相交，要么重合。这时欧几里得第五公设的推论。相交的两条直线恰好有一个交点。在非欧几何中，按几何特性（曲率），可以分为两类。罗巴切夫斯基几何中两条直线要么平行，要么相交，但平行线不止一条。黎曼几何中两条直线总是相交。三维空间或更高维空间中