在同一平面内，不相交的两条直线叫做平行线，也可以说这两条直线互相平行。欧氏几何的平行公理，可以等价的陈述为“过直线外一点有唯一的一条直线和已知直线平行”。

而其否定形式“过直线外一点没有和已知直线平行的直线”或“过直线外一点至少有两条直线和已知直线平行”，则可以作为欧氏几何平行公理的替代，而演绎出独立于欧氏几何的非欧几何。扩展资料：正平行线的性质与平行线的判定不同，平行线的判定是由角的数量关系来确定线的位置关系，而平行线的性质则是由线的位置关系来确定角的数量关系，平行线的性质与判定是因果倒置的两种命题。

对平行线的判定而言，两直线平行是结论，而对平行线的性质而言，两直线平行却是条件。