Let G be a divisor on X, with a support that consists of only rational points and that is disjoint from the P_i.
By the Riemann-Roch theorem, there is a unique finite-dimensional vector space, L(G), with respect to the divisor G.