C

Satu perbedaan mendasar Euclid dan Elliptik adalah konsep betweeness. Pada geometri Euclid, suatu titik B terletak antara A dan C jika {A, B, C} kolinier, dan jumlah jarak dari A ke B dan dari B ke C sama dengan jarak dari A ke C. Hal tersebut menjadi definisi yang tidak mungkin digunakan pada geometri Elliptik. Pada geometri Euclid, segmen AB terdiri dari titik A dan B dan semua titik diantara keduanya. Kita dapat melihat kenapa lingkaran tidak memenuhi definisi ini. Untuk aksioma pemisahan telah dikembangkan untuk memberikan dasar geometri Elliptik. SA1: Jika (A,B|C,D), maka A, B, C, D satu garis dan merupakan titik berbeda. SA2: Jika (A,B|C,D) maka (C,D|A,B) dan (B,A|C,D) SA3: Jika (A,B|C,D) maka tidak (A,C|B,D) Jika A dan B memisahkan C dan D, sangat tidak mungkin untuk A dan C memisahkan B dan D. SA4: Jika titik A, B, C, D segaris dan merupakan titik berbeda, maka (A,B|C,D) atau (A,C|B,D) atau (A,D|B,C) Karena A, B, C, D segaris, titik A dan satu dari titik lainnya harus memisahkan 2 titik sisanya. Karena ada 3 titik setelah A, maka ada 3 hubungan pemisahan yang mungkin.

SA5: Jika titik A, B, C segaris dan berbeda, kemudian ada titik D, sedemikian sehingga (A,B|C,D). Aksioma ini menunjukkan bahwa ada titik-titik dengan jumlah tidak terbatas pada garis, sehingga tidak masalah sedekat apa B dengan A, titik D tetap dapat digambar. SA6: Untuk sembarang 5 titik segaris dan berbeda A, B, C, D dan E. Jika (A,B|D,E) maka (A,B|C,D) atau (A,B|C,E) SA7: Perspektif mempertahankan pemisahan, dengan kata lain jika (A,B|C,D) dan l garis yang melalui A, B, C, D dan jika A, B, C, D merupakan titik yang sama pada garis m dibawah perspektif, maka (A,B|C,D).