Phát biểu định nghĩa hai đường thẳng vuông góc.

Hai đường thẳng xx’, yy’ cắt nhau và trong các góc tạo thành có một góc vuông được gọi là hai đường thẳng vuông góc và được kí hiệu là xx’ ⊥ yy’