Deux droites sont perpendiculaires si elles se coupent en formant un angle droit.
On utilise le symbole ⊥ pour désigner deux droites perpendiculaires.
(AB) ⊥ (CD)  ← signifie : «les droites (AB) et (CD) sont perpendiculaires».