Eine Gerade ist senkrecht zu einer anderen Geraden, wenn sich beide in einem rechten Winkel schneiden.