Droites perpendiculaires

Deux droites perpendiculaires sont deux droites qui se coupent en formant un angle droit.
On note / (d1) ⊥ (d2)