Poluravan
Neka je data ravan α , prava a i tačke A, B, C u toj ravni. Ako A, B, C ne leže na pravoj a, onda prava a siječe duž AB ako i samo ako imaju jednu zajedničku tačku koja je unutrašnja tačka duži AB.