一つの直線とその上にない一つの点が与えられたとき、与えられた点を通り与えられた直線に平行な直線を、ただ一つ引くことができる。
在欧几里得几何中，由平行公设，一个平面上的直线外指定一个点，就能指定出一条与它平行的直线。