關於相交線與平行線

平行線是公理幾何中的重要概念。歐氏幾何的平行公理，可以等價的陳述為過直線外一點有唯一的一條直線和已知直線平行。而其否定形式過直線外一點沒有和已知直線平行的直線或過直線外一點至少有兩條直線和已知直線平行，則可以作為歐氏幾何平行公理的替代，而演繹出獨立於歐氏幾何的非歐幾何。兩條直線的位置關係有相交和平行兩種。如果兩條直線只有一個公共點時，稱這兩條直線相交。