平行线的推论包括:平行于同一直线的两条直线互相平行;在同一平面内,垂直于同一直线的两条直线互相平行;内错角相等,两直线平行;同旁内角互补,两直线平行;同位角相等,两直线平行。
在同一平面内,永不相交(也永不重合)的两条直线(line)叫做平行线(parallellines),平行线公理是几何中的重要概念,而欧氏几何的平行公理可以等价地陈述为“过直线外一点有唯一的一条直线和已知直线平行”。