Real Cartier divisor
= Real Cartier divisor
A real Cartier divisor is a finite real linear combination of <Cartier divisors>. A rational Cartier divisor is defined analogously with rational coefficients; after multiplication by a common denominator it is Cartier.