Geometri projektif

Konsep garis diperumum menjadi bidang dan subruang-subruang berdimensi lebih besar. Dengan demikian, sebuah subruang, AB…XY dapat didefinisi secara rekursif dalam suku-suku subruang AB…X karena ia memuat semua titik pada garis YZ, karena Z merentang pada AB…X. Kemudian kolinearitas diperumum menjadi relasi "independensi". Sebuah himpunan titik-titik {A, B, …, Z} adalah independen, [AB…Z] jika {A, B, …, Z} merupakan suatu subhimpunan yang membangung minimal untuk subruang AB…Z.