1) Властивість прямої, яка дозволяє позначити її називаючи будь-які дві точки прямої, називається властивістю єдиності прямої.

2) Дві прямі називаються перетинаються, якщо вони мають спільну точку, яку називають точкою перетину.

3) Твердження, правильність якого встановлюють за допомогою доведення, називається теоремою.

4) Теорема про дві прямі, що перетинаються:
"Якщо дві прямі перетинаються, то вони утворюють вершини двох кутів, які доповнюються до 180 градусів."