Skup od tačke
i od svih drugih tačaka, od
kojih je svaka tačka
takva da je, kad je
, u isto doba i
, nazvaćemo
; a presek od
sa ma kojom ravni, koja u sebi sadrži pravu
,
nazvaćemo
.
Na svakoj pravoj, koja je
,
ima
jednu i to samo jednu tačku. Tako je isto jasno, da će
biti
podeljeno pravom
u dva kongruentna dela. Stoga ćemo
nazvati osom od
. Dalje jasno je, da
postoji samo jedno
sa osom
u svakoj ravni
koja u sebi sadrži pravu
. Prema tome svako
ove vrste
nazvaćemo
ose
(naravno za ravan
koja se posmatra). Lako je uvideti, da će
obrtanjem oko prave
opisati
, koje će imati takođe
za
osu, i obrnuto
će biti
ose
.