如果两条直线都与第三条直线平行，那么这两条直线也互相平行。如果两条直线都与第三条直线平行，那么这两条直线也互相平行。即：平行于同一直线的两条直线平行。
欧几里得的定义：如果一条线段与两条直线相交，在某一侧的内角和小于两直角和，那么这两条直线在不断延伸后，会在内角和小于两直角和的一侧相交。
