Descriptors
Ring of bounded polynomials , Semi-algebraic set , Semi-algebraic subset , Fibres of bounded morphisms , Completions of varieties , Abelian group , Existence of compatible completions , Connected non-singular R-variety V , Finite generation , Irreducible affine curve
