Intuitively, and made precise below, R1 ⊔ point is itself the real projective line P1(R).
Je už intuitívne jasné a rozobrané podrobnejšie ďalej v texte, že R1 ⊔ bod je reálna projektívna priamka P1(R2).