Mówimy, że dwie proste są prostopadłe, jeżeli przecinają się pod kątem prostym (k⊥l)(k\perp l)(k⊥l)(k\perp l).
