Ответ:

Определение. Две прямые называются перпендикулярными, если они пересекаются под прямым углом.

Свойство. Если две прямые перпендикулярны одной и той же прямой, то они параллельны.