La retta t divide il piano α in due regioni. Per l'assioma di partizione del piano ognuna di queste regioni o semipiano è un angolo piatto con vertice il punto P. Disegniamo la bisettrice ad uno degli angoli piatti. Essa forma con t due angoli retti.