DadosDadas las rectas del plano y la relación binaria perpendicularidad: <math> \vdash </math>, entre rectas, que se cumple cuando dos rectas son perpendiculares y no se cumple si no lo son, tenemos que siendo ''r'', ''s'' y ''t'' rectas del plano ''P'':