a || b Þ a1 || b1 – если прямые параллельны, то одноименные проекции этих прямых параллельны.
f ^ n Þ f2 ^ n2 Ù f1 || x12 – если прямые перпендикулярны (одна – линия уровня, а другая – общего положения), то одна пара их одноименных проекций перпендикулярна.
a Ç b Þ ai Ç bi = Ki Ù K1K2 ^ x12 – если прямые пересекаются, то одноименные проекции прямых пересекаются в точках, лежащих на одной линии связи, перпендикулярной оси проекций.
? a É A Ù || b – построить прямую, проходящую через точку и параллельную другой прямой.
! a1 É A1 Ù || b1 – строим горизонтальную проекцию прямой, проходящую через горизонтальную проекцию точки, и параллельную горизонтальной проекции другой прямой.
! 1= b Ç AC – строим точку как результат пересечения двух прямых.
! C1 Ì A1В1 – строим горизонтальную проекцию точки на одноименной проекции прямой.
! D Ë D – строим точку, не лежащую на плоскости.
! n ^ D – строим прямую перпендикулярную заданной плоскости.
! h Ì D – строим горизонталь, лежащую на заданной плоскости.
! A Ì a – строим точку, лежащую на заданной прямой.