平行公设（parallel postulate），也称为平行公理、欧几里得第五公设，因是《几何原本》五条公设的第五条而得名。这是欧几里得几何一条与众不同的公理，比前四条复杂。公设是说：如果一条线段与两条直线相交，在某一侧的内角和小于两直角和，那么这两条直线在不断延伸后，会在内角和小于两直角和的一侧相交。