full space empty space always subspaces ''geometric dimension'' space said ''n'' largest number strictly ascending chain subspaces form math varnothing x subset x subset cdots subset x n p math algebraic construction standard algebraic construction systems satisfies axioms division ring ''d'' construct dimensional vector space ''d'' vector space dimension number elements basis let ''p'' dimensional single generator subspaces ''l'' dimensional
Formal science Mathematics Pure mathematics Geometry Finite geometry