Через данную точку М, не пренадлежащую прямой А, можно провести , параллельную прямой а. Это утверждение называют параллельных прямых или параллельных прямых.

Через данную точку М, не принадлежащую прямой а, можно провести единственную прямую, параллельную прямой а. Это утверждение называют основным свойством ( иногда пастулатом) параллельных прямых или аксиомой параллельных прямых.