如果两条直线都与第三条直线平行，那么这两条直线也彼此平行。这是欧几里得几何中平行线的一个基本性质。用符号表示就是：如果直线a ∥ 直线b且直线b ∥ 直线c，则直线a ∥ 直线c。这个性质有时也被称为平行公理的传递性。