In contrast, the analytic approach is to define projective space based on linear algebra and utilizing homogeneous co-ordinates. The propositions of incidence are derived from the following basic result on vector spaces: given subspaces and of a (finite-dimensional) vector space , the dimension of their intersection is . Bearing in mind that the geometric dimension of the projective space associated to is and that the geometric dimension of any subspace is positive, the basic proposition of incidence in this setting can take the form: linear subspaces and of projective space meet provided .