Перпендикулярність прямих у просторі (теорія)