Geometri projektif

Aksioma projektif dapat diperlengkap oleh aksioma lebih lanjut yang mempostulatkan limit pada dimensi ruang. Dimensi minimum ditentukan oleh keujudan suatu himpunan independen ukuran yang diperlukan. Untuk dimensi yang paling kecil, persyaratan yang relevan dapat dinyatakan dalam bentuk ekivalen berikut ini. Sebuah ruang projektif memiliki syarat-syarat: