twee vlakken zijn evenwijdig als twee snijdende rechten van het ene vlak evenwijdig zijn met twee snijdende rechte van het anderevlak
de snijlijnen van twee evenwijdige vlakken met een derde vlak zijn evenwijdig
als een van de twee evenwijdige rechte een vlak snijdt, dan snijdt de andere rechte ook dat vlak
als een rechte evenwijdig is met een rechte van een vlak, dan is die rechte evenwijdig met dat vlak
twee snijdende rechten staan loodrecht op elkaar als en slechts als de hoek tussen die twee rechte gelijk is aan 90°
tweekruisenderechtenstaanloodrechtopelkaar als en slechts als twee snijdende rechten, die respectievelijk evenwijdig zijn met deze kruisende rechten, loodrecht op elkaar staan
een rechte staat loodrecht op een vlak als en slecht als ze loodrecht staat op elke rechte van dat vlak
alseenrechte loodrecht staat op twee snijdende rechte van een vlak, dan staat ze loodrecht op dat vlak
tweevlakken staan loodrecht op elkaar als en slechts als in het ene vlak een loodlijn op het andere valk ligt