Cartier divisor
divisor defined via sections of sheaves
relative effective Cartier divisor
family of effective Cartier divisors; a closed subscheme D of a scheme X over a commutative ring R that is flat over R and such that the ideal sheaf of D is locally free of rank one (i.e., invertible sheaf)